BibSLEIGH — Gaetano

Travelled to:

1 × France
1 × Italy
1 × South Korea
10 × USA
4 × Canada

Collaborated with:

P.H.Chou T.Amon K.Hines J.Liu E.A.Walkup E.Detjens B.DeRenzi A.Vashistha E.Cutrell W.Thies T.Hu A.R.Cherenson P.B.Danzig M.N.Nelson B.E.Birnbaum A.D.Flaxman A.R.Karlin R.B.Ortega K.Partridge N.Dell T.Perrier N.Kumar M.Lee R.Powers M.Goel B.Lee M.T.I.Aumi S.Patel S.Hibino B.Begole N.Lesh T.S.Parikh C.Sims W.Maokla M.Chemba Y.Hamisi D.Schellenberg M.Mitchell N.Khoussainova E.Welbourne M.Balazinska G.Cole J.Letchner Y.Li C.Ré D.Suciu J.Walke

Talks about:

system (8) time (7) embed (6) distribut (5) synthesi (5) use (4) schedul (3) verif (3) framework (2) presburg (2)

Person: Gaetano Borriello

DBLP: Borriello:Gaetano

Contributed to:

2015

2014

2013

2008

2000

1999

1998

1997

1995

1994

1992

1991

1988

1987

Wrote 22 papers:

CHI-2015-VashisthaCBT: Sangeet Swara: A Community-Moderated Voice Forum in Rural India (AV, EC, GB, WT), pp. 417–426.
CSCW-2015-DellPKLPB #development #workflow: Paper-Digital Workflows in Global Development Organizations (ND, TP, NK, ML, RP, GB), pp. 1659–1669.
CHI-2014-GoelLAPBHB #interactive #multi #named #using: SurfaceLink: using inertial and acoustic sensing to enable multi-device interaction on a surface (MG, BL, MTIA, SP, GB, SH, BB), pp. 1387–1396.
CHI-2013-BirnbaumBFDK #behaviour #identification #using: Using behavioral data to identify interviewer fabrication in surveys (BEB, GB, ADF, BD, ARK), pp. 2911–2920.
CHI-2008-DeRenziLPSMCHSMB #health #named: E-imci: improving pediatric health care in low-income countries (BD, NL, TSP, CS, WM, MC, YH, DS, MM, GB), pp. 753–762.
SIGMOD-2008-KhoussainovaWBBCLLRSW: A demonstration of Cascadia through a digital diary application (NK, EW, MB, GB, GC, JL, YL, CR, DS, JW), pp. 1319–1322.
DAC-2000-ChouB #coordination #distributed #embedded #optimisation #synthesis: Synthesis and optimization of coordination controllers for distributed embedded systems (PHC, GB), pp. 410–415.
DAC-1999-ChouOHPB #design #distributed #embedded #framework #named: ipChinook: an Integrated IP-based Design Framework for Distributed Embedded Systems (PHC, RBO, KH, KP, GB), pp. 44–49.
DAC-1998-AmonBL #using: Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don’t Cares (TA, GB, JL), pp. 586–590.
DAC-1998-ChouB #composition #distributed #embedded #process #towards: Modal Processes: Towards Enhanced Retargetability Through Control Composition of Distributed Embedded Systems (PHC, GB), pp. 88–93.
DAC-1998-HinesB #design #distributed #embedded #framework #validation: A Geographically Distributed Framework for Embedded System Design and Validation (KH, GB), pp. 140–145.
LCTES-1998-HinesB #debugging #distributed #implementation #process: Debugging Distributed Implementations of Modal Process Systems (KH, GB), pp. 98–107.
DAC-1997-AmonBHL #diagrams #using #verification: Symbolic Timing Verification of Timing Diagrams using Presburger Formulas (TA, GB, TH, JL), pp. 226–231.
DAC-1997-HinesB #communication #embedded #modelling: Dynamic Communication Models in Embedded System Co-Simulation (KH, GB), pp. 395–400.
DAC-1995-ChouB #embedded #fine-grained #scheduling: Interval Scheduling: Fine-Grained Code Scheduling for Embedded Systems (PHC, GB), pp. 462–467.
DAC-1994-ChouB #realtime #scheduling: Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems (PHC, GB), pp. 1–4.
DAC-1994-WalkupB #interface #synthesis #verification: Interface Timing Verification with Application to Synthesis (EAW, GB), pp. 106–112.
DAC-1992-AmonB #approach #verification: An Approach to Symbolic Timing Verification (TA, GB), pp. 410–413.
DAC-1991-AmonB #behaviour #named: OEsim: A Simulator for Timing Behavior (TA, GB), pp. 656–661.
DAC-1991-AmonB91a #case study #synthesis: Sizing Synchronization Queues: A Case Study in Higher Level Synthesis (TA, GB), pp. 690–693.
DAC-1988-BorrielloD #synthesis: High-Level Synthesis: Current Status and Future Directions (GB, ED), pp. 477–482.
ASPLOS-1987-BorrielloCDN #case study #prolog: RISCs versus CISCs for Prolog: A Case Study (GB, ARC, PBD, MNN), pp. 136–145.