Approaching verification of the SCI cache coherence protocol
Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas
Bok Engelsk 1990
Utgitt | Oslo : Department of Informatics, University of Oslo , 1990
|
---|---|
Omfang | 52 bl.
|
Emner | grensesnitt protokoller scalable coherence interface cache-lager databuss
|
Dewey | |
ISBN | 8273680517
|