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
|
