ACM DL

Computer Systems (TOCS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Computer Systems (TOCS), Volume 11 Issue 2, May 1993

Design and verification of the Rollback Chip using HOP: a case study of formal methods applied to hardware design
Ganesh Gopalakrishnan, Richard Fujimoto
Pages: 109-145
DOI: 10.1145/151244.151245
The use of formal methods in hardware design improves the quality of designs in many ways: it promotes better understanding of the design; it permits systematic design refinement through the discovery of invariants; and it allows design...

A dynamic processor allocation policy for multiprogrammed shared-memory multiprocessors
Cathy McCann, Raj Vaswani, John Zahorjan
Pages: 146-178
DOI: 10.1145/151244.151246
We propose and evaluate empirically the performance of a dynamic processor-scheduling policy for multiprogrammed shared-memory multiprocessors. The policy is dynamic in that it reallocates processors from one parallel job to another based on the...

Limits to low-latency communication on high-speed networks
Chandramohan A. Thekkath, Henry M. Levy
Pages: 179-203
DOI: 10.1145/151244.151247
The throughput of local area networks is rapidly increasing. For example, the bandwidth of new ATM networks and FDDI token rings is an order of magnitude greater than that of Ethernets. Other network technologies promise a bandwidth increase of...