15-740 Fall '98
Course Readings
Copies of all readings for the class are available
- On reserve in the E&S Library (ask at desk).
- From the course secretary (please return promptly).
- From the course instructor
We will handout copies where possible, but copyright laws impose limitations.
- [Clarke+92]
Clarke, E.M., et al,
``Verification of the Futurebus+ Cache Coherence Protocol,''
Technical Report CMU-CS-92-206, 1992.
- [Gwennap]
Gwennap, L.,
``Digital 21264 Sets New Standard,''
Microprocessor Report, October 28, 1996.
Back to CS740 home page.
