3 search results - page 1 / 1 » An Intuitionistic Epistemic Logic for Sequential Consistency... |
LPAR
2010
Springer
13 years 2 months ago
2010
Springer
In the celebrated G
SPAA
1998
ACM
13 years 9 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...
HPCA
2011
IEEE
12 years 8 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...