Gaetano Borriello

Pearson Education, ISBN: 978-0-13-127830-1, 2005

2004

System support for pervasive applications.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2004

Report from the Ubicomp Education Workshop.

[BibT_eX]

[DOI]

Gregory D. Abowd

Gerd Kortuem

IEEE Pervasive Comput., 2004

The Flock: Mote Sensors Sing in Undergraduate Curriculum.

[BibT_eX]

[DOI]

Computer, 2004

Ubiquitous Computing Using Wireless Broadcast.

[BibT_eX]

[DOI]

Jong Hee Kang

Proceedings of the 6th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2004), 2004

"Are You with Me?" - Using Accelerometers to Determine If Two Devices Are Carried by the Same Person.

[BibT_eX]

[DOI]

Jonathan Lester

Blake Hannaford

Proceedings of the Pervasive Computing, 2004

Microbiology Tray and Pipette Tracking as a Proactive Tangible User Interface.

[BibT_eX]

[DOI]

Harlan Hile

Jiwon Kim

Proceedings of the Pervasive Computing, 2004

Ubicomp Education: Current Status and Future Directions.

[BibT_eX]

[DOI]

Gregory D. Abowd

Gerd Kortuem

Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), 2004

Particle Filters for Location Estimation in Ubiquitous Computing: A Case Study.

[BibT_eX]

[DOI]

Jeffrey Hightower

Proceedings of the UbiComp 2004: Ubiquitous Computing: 6th International Conference, 2004

Reminding About Tagged Objects Using Passive RFIDs.

[BibT_eX]

[DOI]

Proceedings of the UbiComp 2004: Ubiquitous Computing: 6th International Conference, 2004

2003

Bayesian Filtering for Location Estimation.

[BibT_eX]

[DOI]

IEEE Pervasive Comput., 2003

Design Patterns for Ubiquitous Computing.

[BibT_eX]

[DOI]

James A. Landay

Computer, 2003

Proximity interactions between wireless sensors and their application.

[BibT_eX]

[DOI]

Proceedings of the Second ACM International Conference on Wireless Sensor Networks and Applications, 2003

Facile: A Framework for Attention-Correlated Local Communication.

[BibT_eX]

[DOI]

Kurt Partridge

Sarah Newman

Proceedings of the 5th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2003), 2003

River: An Infrastructure for Context Dependent, Reactive Communication Primitives.

[BibT_eX]

[DOI]

Jong Hee Kang

Matthai Philipose

Proceedings of the 5th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2003), 2003

Real-world Implementation of the Location Stack: The Universal Location Framework.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2003), 2003

Challenge: ubiquitous location-aware computing and the "place lab" initiative.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM International Workshop on Wireless Mobile Applications and Services on WLAN Hotspots, 2003

2002

Disappearing Hardware.

[BibT_eX]

[DOI]

IEEE Pervasive Comput., 2002

Labscape: A Smart Environment for the Cell Biology Laboratory.

[BibT_eX]

[DOI]

IEEE Pervasive Comput., 2002

Key challenges in communication for ubiquitous computing.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2002

The Location Stack: A Layered Model for Location in Ubiquitous Computing.

[BibT_eX]

[DOI]

Jeffrey Hightower

Barry Brumitt

Proceedings of the 4th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2002), 2002

TiltType: accelerometer-supported text entry for very small devices.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual ACM Symposium on User Interface Software and Technology, 2002

Making Sensor Networks Practical with Robots.

[BibT_eX]

[DOI]

Proceedings of the Pervasive Computing, 2002

Systems Support for Ubiquitous Computing: A Case Study of Two Implementations of Labscape.

[BibT_eX]

[DOI]

Proceedings of the Pervasive Computing, 2002

The Unigesture Approach.

[BibT_eX]

[DOI]

Vibha Sazawal

Roy Want

Proceedings of the Mobile Human-Computer Interaction, 4th International Symposium, 2002

PlantCare: An Investigation in Practical Ubiquitous Systems.

[BibT_eX]

[DOI]

Proceedings of the UbiComp 2002: Ubiquitous Computing, 4th International Conference, Göteborg, Sweden, September 29, 2002

2001

Location Systems for Ubiquitous Computing.

[BibT_eX]

[DOI]

Jeffrey Hightower

Computer, 2001

Empirical measurements of intrabody communication performance under varied physical configurations.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual ACM Symposium on User Interface Software and Technology, 2001

Systems Directions for Pervasive Computing.

[BibT_eX]

[DOI]

Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

2000

The Challenges to Invisible Computing.

[BibT_eX]

[DOI]

Computer, 2000

Embedded Vomputation Meets the World Wide Web.

[BibT_eX]

[DOI]

Roy Want

Commun. ACM, 2000

Synthesis and optimization of coordination controllers for distributed embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 37th Conference on Design Automation, 2000

Capstone design at the University of Washington: user interfaces for portable devices.

[BibT_eX]

[DOI]

Proceedings of the CHI '00 Extended Abstracts on Human Factors in Computing Systems, 2000

1999

Guest Editorial.

[BibT_eX]

[DOI]

Diederik Verkest

Francky Catthoor

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

Next Century Challenges: Data-Centric Networking for Invisible Computing.

[BibT_eX]

[DOI]

Proceedings of the MOBICOM '99, 1999

ipChinook: an Integrated IP-based Design Framework for Distributed Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 36th Conference on Design Automation, 1999

1998

Mesh routing topologies for multi-FPGA systems.

[BibT_eX]

[DOI]

Carl Ebeling

IEEE Trans. Very Large Scale Integr. Syst., 1998

Debugging Distributed Implementations of Modal Process Systems.

[BibT_eX]

[DOI]

Proceedings of the Languages, 1998

Communication synthesis for distributed embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Control generation for embedded systems based on composition of modal processes.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Interface synthesis: a vertical slice from digital logic to software components.

[BibT_eX]

[DOI]

Luciano Lavagno

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

A Geographically Distributed Framework for Embedded System Design and Validation.

[BibT_eX]

[DOI]

Proceedings of the 35th Conference on Design Automation, 1998

Modal Processes: Towards Enhanced Retargetability Through Control Composition of Distributed Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th Conference on Design Automation, 1998

Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares.

[BibT_eX]

[DOI]

Tod Amon

Jiwen Liu

Proceedings of the 35th Conference on Design Automation, 1998

An analysis-based approach to composition of distributed embedded systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Hardware/Software Codesign, 1998

1997

Pin assignment for multi-FPGA systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

An evaluation of bipartitioning techniques.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

Selective focus as a means of improving geographically distributed embedded system co-simulation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, 1997

Interacting with physical devices over the web.

[BibT_eX]

[DOI]

Eric McManus

Proceedings of the 1997 IEEE International Conference on Microelectronic Systems Education, 1997

Tools for documenting digital designs on the Web.

[BibT_eX]

[DOI]

Douglas Beal

Tianyu Li

Proceedings of the 1997 IEEE International Conference on Microelectronic Systems Education, 1997

Dynamic Communication Models in Embedded System Co-Simulation.

[BibT_eX]

[DOI]

Proceedings of the 34st Conference on Design Automation, 1997

Symbolic Timing Verification of Timing Diagrams using Presburger Formulas.

[BibT_eX]

[DOI]

Proceedings of the 34st Conference on Design Automation, 1997

Communication Synthesis for Embedded Systems with Global Considerations.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997

Optimizing communication in embedded system co-simulation.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997

Software Architecture Synthesis for Retargetable Real-time Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997

1995

The Triptych FPGA architecture.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1995

An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1995

Testing asynchronous circuits: A survey.

[BibT_eX]

[DOI]

Henrik Hulgaard

Steven M. Burns

Integr., 1995

The Chinook hardware/software co-synthesis system.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), 1995

Interface co-synthesis techniques for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

Logic Partition Orderings for Multi-FPGA Systems.

[BibT_eX]

[DOI]

Proceedings of the Third International ACM Symposium on Field-Programmable Gate Arrays, 1995

Interval Scheduling: Fine-Grained Code Scheduling for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 32st Conference on Design Automation, 1995

1994

Scheduling for reactive real-time systems.

[BibT_eX]

[DOI]

Elizabeth A. Walkup

IEEE Micro, 1994

An FPGA for Implementing Asynchronous Circuits.

[BibT_eX]

IEEE Des. Test Comput., 1994

Interface Timing Verification with Application to Synthesis.

[BibT_eX]

[DOI]

Elizabeth A. Walkup

Proceedings of the 31st Conference on Design Automation, 1994

Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 31st Conference on Design Automation, 1994

1993

Practical applications of an efficient time separation of events algorithm.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

1992

Practical Dictionary Management for Hardware Data Compression.

[BibT_eX]

[DOI]

Suzanne Bunton

Commun. ACM, 1992

Synthesis fo the hardware/software interface in microcontroller-based systems.

[BibT_eX]

[DOI]

Proceedings of the 1992 IEEE/ACM International Conference on Computer-Aided Design, 1992

MONTAGNE: An FPL for Synchronous and Asynchronous Circuits.

[BibT_eX]

[DOI]

Proceedings of the Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping, Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31, 1992

An Approach to Symbolic Timing Verification.

[BibT_eX]

[DOI]

Tod Amon

Proceedings of the 29th Design Automation Conference, 1992

1991

Timing optimization of multiphase sequential logic.

[BibT_eX]

[DOI]

Karen A. Bartlett