2 search results - page 1 / 1 » Automatic Verification of Sequential Consistency for Unbound... |
CAV
2004
Springer
13 years 8 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
HOTOS
2003
IEEE
13 years 9 months ago
2003
IEEE
Distributed writable storage systems typically provide NFS-like semantics and unbounded persistence for files. We claim that for planetary-scale distributed services such facilit...