The complexity of verifying memory coherence
Authors:
Open Access
- 7 June 2003
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 254-255
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Testing Shared MemoriesSIAM Journal on Computing, 1997
- Lazy release consistency for software distributed shared memory1992