Creator | Title | Description | Subject | Date | ||
---|---|---|---|---|---|---|
1 |
![]() | Gopalakrishnan, Ganesh | Deriving efficient cache coherence protocols through refinement | We address the problem of developing efficient cache coherence protocols for use in distributed systems implementing distributed shared memory (DSM) using message passing. A serious drawback of traditional approaches to this problem is that the users are required to state the desired coherence prot... | Cache coherence protocols; DSM; Message passing | 1997 |