37 search results - page 1 / 8 » Verification Methods for Weaker Shared Memory Consistency Mo... |
85
Voted
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
112
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...
117
Voted
TC
1998
15 years 23 days ago
1998
—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...
107
Voted
CAV
2004
Springer
15 years 4 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 ...
117
Voted
DSN
2006
IEEE
15 years 7 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...