Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

CAV
1999
Springer

favoriteEmaildiscussreport

78views Hardware» more CAV 1999»

Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems

13 years 9 months ago

Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems

Download mtc.epfl.ch

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama

Real-time Traffic

CAV 1999 | Hardware |

claim paper

Related Content

» Efficient algorithms for verifying memory consistency

» CacheConscious Concurrency Control of MainMemory Indexes on SharedMemory Multiprocessor Sy...

» Willow A Scalable Shared Memory Multiprocessor

» The Interaction of Software Prefetching with ILP Processors in SharedMemory Systems

» Lamport Clocks Verifying a Directory CacheCoherence Protocol

» Performance Evaluation of Memory Consistency Models for Shared Memory Multiprocessors

» Completely verifying memory consistency of test program executions

» A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared M...

» Dynamic SelfInvalidation Reducing Coherence Overhead in SharedMemory Multiprocessors

Post Info
More Details (n/a)

Added	03 Aug 2010
Updated	03 Aug 2010
Type	Conference
Year	1999
Where	CAV
Authors	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani

Comments (0)