5523 search results - page 1014 / 1105 » Improving application performance with hardware data structu... |
141
Voted
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Incorrect thread synchronization often leads to concurrency bugs that manifest nondeterministically and are difficult to detect and fix. Past work on detecting concurrency bugs ...
147
Voted
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
126
click to vote
FP
1989
15 years 8 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
164
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Virtual memory has been successfully used in different domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...
124
click to vote
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Dedicated, spatially configured FPGA interconnect is efficient for applications that require high throughput connections between processing elements (PEs) but with a limited ...