A Case Study on the Verification of Cache Coherence Protocols
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 26 ; 38-47
2004-01-01
10 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Hardware Cache Coherence Protocol
British Library Online Contents | 2004
|Modification of Cache Coherence Protocol for the Distributed Environment
British Library Online Contents | 1993
|A Coherence-Replacement Protocol for Web Proxy Cache Systems
British Library Online Contents | 2006
|AIAA | 1977
|