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:
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.