741 search results - page 11 / 149 » Memory Dependence Prediction Using Store Sets |
139
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
107
Voted
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
118
click to vote
MOBISYS
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we present a reliable storage service, called SolarStore, that adaptively trades-off storage reliability versus energy consumption in solar-powered sensor networks....
128
click to vote
ICIP
1999
IEEE
16 years 3 months ago
1999
IEEE
Long-term memory prediction extends motion compensation from the previous frame to several past frames with the result of increased coding efficiency. In this paper we demonstrate...
133
click to vote
IWMM
2010
Springer
15 years 6 months ago
2010
Springer
With the availability of chip multiprocessor (CMP) and simultaneous multithreading (SMT) machines, extracting thread level parallelism from a sequential program has become crucial...