7167 search results - page 193 / 1434 » A Technique for Invariant Generation |
189
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
197
Voted
HPCA
2009
IEEE
16 years 7 months ago
2009
IEEE
Linked data structure (LDS) accesses are critical to the performance of many large scale applications. Techniques have been proposed to prefetch such accesses. Unfortunately, many...
222
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
The threat of soft error induced system failure in high performance computing systems has become more prominent, as we adopt ultra-deep submicron process technologies. In this pap...
181
click to vote
ISCA
2005
IEEE
16 years 23 days ago
2005
IEEE
Runahead execution is a technique that improves processor performance by pre-executing the running application instead of stalling the processor when a long-latency cache miss occ...
204
click to vote
DIALM
2004
ACM
16 years 18 days ago
2004
ACM
We present three localized techniques for broadcasting in large scale ad hoc networks, i.e., for the problem of disseminating a message from a source node to all the nodes in the ...