Sciweavers

7452 search results - page 46 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
CAV
1999
Springer
78views Hardware» more  CAV 1999»
14 years 1 months ago
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...