External Links

    Journal: ACM Trans. Comput. Syst.

    Volume 11, Issue 2

    107 -- 108Kenneth P. Birman. Editorial
    109 -- 145Ganesh Gopalakrishnan, Richard Fujimoto. Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware design
    146 -- 178Cathy McCann, Raj Vaswani, John Zahorjan. A Dynamic Processor Allocation Policy for Multiprogrammed Shared-memory Multiprocessors
    179 -- 203Chandramohan A. Thekkath, Henry M. Levy. Limits to Low-Latency Communication on High-Speed Networks
    runs on