Sciweavers

3415 search results - page 476 / 683
» Physical Design Refinement: The
Sort
View
CAV
2001
Springer
80views Hardware» more  CAV 2001»
15 years 10 months ago
Transformation-Based Verification Using Generalized Retiming
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
Andreas Kuehlmann, Jason Baumgartner
ACMDIS
2008
ACM
15 years 8 months ago
Paper interface to electronic medical records: a case of usage-driven technology appropriation
We conducted a 6-month project with a physical therapy clinic, involving equal parts ethnographic fieldwork and rapid prototyping. It differed from most reported user-informed des...
Elin Rønby Pedersen, Greg Wolff
ASSETS
2008
ACM
15 years 8 months ago
Experiences using a hands-free interface
Hands-free interfaces could be the best choice for HumanComputer Interaction (HCI) for people with physical disabilities that are not capable of using traditional input devices. O...
Cristina Manresa-Yee, Javier Varona, Francisco J. ...
ASSETS
2008
ACM
15 years 8 months ago
The flote: an instrument for people with limited mobility
The Flote is a wind instrument designed for people with limited mobility. Past work in this area has failed to deliver the musical expressiveness expected of an instrument while m...
Amal Dar Aziz, Chris Warren, Hayden Bursk, Sean Fo...
ASPDAC
2005
ACM
107views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Making fast buffer insertion even faster via approximation techniques
Abstract— As technology scales to 0.13 micron and below, designs are requiring buffers to be inserted on interconnects of even moderate length for both critical paths and fixing...
Zhuo Li, Cliff C. N. Sze, Charles J. Alpert, Jiang...