9110 search results - page 1655 / 1822 » Formally-Based Design Evaluation |
128
click to vote
HPCA
2007
IEEE
16 years 4 months ago
2007
IEEE
The emergence of multicore architectures will lead to an increase in the use of multithreaded applications that are prone to synchronization bugs, such as data races. Software sol...
115
Voted
HPCA
2006
IEEE
16 years 4 months ago
2006
IEEE
Simulation is an important means of evaluating new microarchitectures. Current trends toward chip multiprocessors (CMPs) try the ability of designers to develop efficient simulato...
186
click to vote
HPCA
2002
IEEE
16 years 4 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
131
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
It is difficult to interact with computer displays that are across the room. A popular approach is to use laser pointers tracked by a camera, but interaction techniques using lase...
142
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
Increasing amounts of public, corporate, and private speech data are now available on-line. These are limited in their usefulness, however, by the lack of tools to permit their br...