Sciweavers

Share
2 search results - page 1 / 1
» Automatic Verification of Sequential Consistency for Unbound...
Sort
View
CAV
2004
Springer
154views Hardware» more  CAV 2004»
11 years 5 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
HOTOS
2003
IEEE
11 years 6 months ago
Palimpsest: Soft-Capacity Storage for Planetary-Scale Services
Distributed writable storage systems typically provide NFS-like semantics and unbounded persistence for files. We claim that for planetary-scale distributed services such facilit...
Timothy Roscoe, Steven Hand
books