283 search results - page 52 / 57 » Effective Program Verification for Relaxed Memory Models |
116
click to vote
MICRO
2002
IEEE
15 years 4 months ago
2002
IEEE
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...
105
Voted
SCOPES
2004
Springer
15 years 5 months ago
2004
Springer
For mobile embedded systems, the energy consumption is a limiting factor because of today’s battery capacities. Besides the processor, memory accesses consume a high amount of en...
103
click to vote
GISCIENCE
2004
Springer
15 years 5 months ago
2004
Springer
The spatial auto-regression (SAR) model is a popular spatial data analysis technique, which has been used in many applications with geo-spatial datasets. However, exact solutions f...
107
click to vote
ISHPC
2000
Springer
15 years 3 months ago
2000
Springer
This paper describes transparent mechanisms for emulating some of the data distribution facilities offered by traditional data-parallel programming models, such as High Performance...
102
click to vote
JPDC
2008
14 years 11 months ago
2008
Graphics processors (GPUs) provide a vast number of simple, data-parallel, deeply multithreaded cores and high memory bandwidths. GPU architectures are becoming increasingly progr...