The cache coherence problem in shared-memory multiprocessors

A cache coherence approach for large multiprocessor systems

ICS '88 Proceedings of the 2nd international conference on Supercomputing

The implementation of a coherent memory abstraction on a NUMA multiprocessor: experiences with platinum

SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles

C2MP: a cache-coherent, distributed memory multiprocessor-system

Proceedings of the 1989 ACM/IEEE conference on Supercomputing

An efficient cache-based access anomaly detection scheme

ASPLOS IV Proceedings of the fourth international conference on Architectural support for programming languages and operating systems

Modeling the performance of limited pointers directories for cache coherence

ISCA '91 Proceedings of the 18th annual international symposium on Computer architecture

Verification techniques for cache coherence protocols

ACM Computing Surveys (CSUR)

An efficient caching support for critical sections in large-scale shared-memory multiprocessors

ICS '90 Proceedings of the 4th international conference on Supercomputing

Formal verification of complex coherence protocols using symbolic state models

Journal of the ACM (JACM)

A Quantitative Analysis of the Performance and Scalability of Distributed Shared Memory Cache Coherence Protocols

IEEE Transactions on Computers - Special issue on cache memory and related problems

PSCR: A Coherence Protocol for Eliminating Passive Sharing in Shared-Bus Shared-Memory Multiprocessors

IEEE Transactions on Parallel and Distributed Systems

Hardware Approaches to Cache Coherence in Shared-Memory Multiprocessors Part 2

IEEE Micro

Proofs of Correctness of Cache-Coherence Protocols

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity