6607 search results - page 536 / 1322 » Making TeX Work |
171
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
146
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
We propose in this paper a novel framework for multilevel routing considering both routability and performance. The two-stage multilevel framework consists of coarsening followed ...
157
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
In this paper we conduct an exploratory experiment on context restoration in multi-tasking dialogue and report our preliminary findings. We examine a corpus of human-human dialog...
184
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
The defining characteristics of autism, including difficulty with nonverbal cues and need for structure, and the defining characteristics of computer-mediated communication (CMC),...
170
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
Student athletes at U.S. universities are bound by rules affecting their participation in their sport and are highly visible to their fellow students and a larger public of fans. ...