34229 search results - page 6700 / 6846 » Power-aware computing systems |
115
click to vote
ISMAR
2007
IEEE
15 years 9 months ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...
117
click to vote
IV
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a novel human-computer interface that enables the computer display to be perceived without any use of the eyes. Our system works by tracking the user’s head ...
149
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
118
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
123
click to vote
MICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
Aggressive technology scaling over the years has helped improve processor performance but has caused a reduction in processor reliability. Shrinking transistor sizes and lower sup...