DMCA

Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol (2000)

by Daniel J. Sorin , Manoj Plakal , Anne E. Condon , Mark D. Hill , Milo M. K. Martin , Student Member , Student Member , Student Member , David A. Wood
Venue:IEEE Transactions on Parallel and Distributed Systems
Citations:38 - 9 self