Fast and Generalized Polynomial Time Memory Consistency Verification
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 503-516
Abstract
No abstract availableKeywords
All Related Versions
This publication has 11 references indexed in Scilit:
- Efficient algorithms for verifying memory consistency2005
- TSOtool: a program for verifying memory systems using the memory consistency model2004
- Constraint graph analysis of multithreaded programs2004
- QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings2004
- The complexity of verifying memory coherence2003
- The complexity of sequential consistency2003
- Memory consistency and event ordering in scalable shared-memory multiprocessors1998
- Shared memory consistency models: a tutorialComputer, 1996
- Loop Parallelization1994
- A Theorem on Boolean MatricesJournal of the ACM, 1962