Improving Multiple-CMP Systems Using Token Coherence
- 1 April 2005
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 11th International Symposium on High-Performance Computer Architecture
Abstract
No abstract availableThis publication has 28 references indexed in Scilit:
- An Adaptive Cache Coherence Protocol Optimized For Migratory SharingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Checking Cache-Coherence Protocols with TLA+Formal Methods in System Design, 2003
- The directory-based cache coherence protocol for the DASH multiprocessorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Specifying and verifying a broadcast and a multicast snooping cache coherence protocolIEEE Transactions on Parallel and Distributed Systems, 2002
- POWER4 system microarchitectureIBM Journal of Research and Development, 2002
- Architecture and design of AlphaServer GS320Published by Association for Computing Machinery (ACM) ,2000
- The Stanford Hydra CMPIEEE Micro, 2000
- A single-chip multiprocessorComputer, 1997
- Improved Control Acquisition Scheme for the IEEE 896 FuturebusIEEE Micro, 1987
- Expressing interesting properties of programs in propositional temporal logicPublished by Association for Computing Machinery (ACM) ,1986