283 search results - page 40 / 57 » Effective Program Verification for Relaxed Memory Models |
ATS
2009
IEEE
15 years 4 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...
103
click to vote
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
Recently, energy has become an important issue in highperformance computing. For example, supercomputers that have energy in mind, such as BlueGene/L, have been built; the idea is...
139
click to vote
HPCA
1996
IEEE
15 years 3 months ago
1996
IEEE
This paper compares several implementations of entry consistency (EC) and lazy release consistency (LRC), two relaxed memory models in use with software distributed shared memory ...
119
click to vote
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...