BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Borriello:Gaetano

Contributed to:

CHI 20152015
CSCW 20152015
CHI 20142014
CHI 20132013
CHI 20082008
SIGMOD 20082008
DAC 20002000
DAC 19991999
DAC 19981998
LCTES 19981998
DAC 19971997
DAC 19951995
DAC 19941994
DAC 19921992
DAC 19911991
DAC 19881988
ASPLOS 19871987

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.