Formal specification and verification of SCI cache coherence
Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas
Bok Engelsk 1990
Utgitt | [Oslo] : Department of Informatics, University of Oslo , 1990
|
---|---|
Omfang | 23 bl. : fig.
|
Opplysninger | "Presented at NIK '89, Stavanger, November 1989"
|
Emner | datakurs grensesnitt scalable coherence interface cache-lager
|
Dewey | |
ISBN | 8273680487
|