Improving Multiple-CMP Systems Using Token Coherence

This publication has 28 references indexed in Scilit:

• An Adaptive Cache Coherence Protocol Optimized For Migratory Sharing
  Published 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 multiprocessor
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Specifying and verifying a broadcast and a multicast snooping cache coherence protocol
  IEEE Transactions on Parallel and Distributed Systems, 2002
• POWER4 system microarchitecture
  IBM Journal of Research and Development, 2002
• Architecture and design of AlphaServer GS320
  Published by Association for Computing Machinery (ACM) ,2000
• The Stanford Hydra CMP
  IEEE Micro, 2000
• A single-chip multiprocessor
  Computer, 1997
• Improved Control Acquisition Scheme for the IEEE 896 Futurebus
  IEEE Micro, 1987
• Expressing interesting properties of programs in propositional temporal logic
  Published by Association for Computing Machinery (ACM) ,1986