Towards a formal model of shared memory consistency for Intel Itanium/sup TM/
- 13 November 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Sequential consistency and the lazy caching algorithmDistributed Computing, 1999
- Shared memory consistency models: a tutorialComputer, 1996
- Causal memory: definitions, implementation, and programmingDistributed Computing, 1995