9716 search results - page 136 / 1944 » The Case for Energy-Proportional Computing |
168
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
184
click to vote
BMVC
2002
15 years 9 months ago
2002
In this paper, we present a non-intrusive method for human motion estimation from a monocular video camera for the teleoperation of ROBONAUT (ROBOtic astroNAUT). ROBONAUT is an an...
178
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
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...
156
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
182
click to vote
SEDE
2007
15 years 8 months ago
2007
— Achieving reliability in fault tolerant systems requires both avoidance and redundancy. This study focuses on avoidance as it pertains to the design of microchips. The lifecycl...