3 search results - page 1 / 1 » An Intuitionistic Epistemic Logic for Sequential Consistency... |
78
Voted
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
In the celebrated G
85
Voted
SPAA
1998
ACM
15 years 1 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
84
Voted
HPCA
2011
IEEE
14 years 1 months ago
2011
IEEE
Most shared memory systems maximize performance by unpredictably resolving memory races. Unpredictable memory races can lead to nondeterminism in parallel programs, which can suff...