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