Computer Systems (TOCS)


Search Issue
enter search term and/or author name


ACM Transactions on Computer Systems (TOCS), Volume 8 Issue 1, Feb. 1990

Performance of the Firefly RPC
Michael Burrows, Michael D. Schroeder
Pages: 1-17
DOI: 10.1145/77648.77653
In this paper we report on the performance of the remote procedure call (RPC) implementation for the Firefly multiprocessor and analyze the implementation to account precisely for all measured latency. From the analysis and measurements, we...

A logic of authentication
Michael Burrows, Martin Abadi, Roger Needham
Pages: 18-36
DOI: 10.1145/77648.77649
Authentication protocols are the basis of security in many distributed systems, and it is therefore essential to ensure that these protocols function correctly. Unfortunately, their design has been extremely error prone. Most of the protocols...

Lightweight remote procedure call
Brian N. Bershad, Henry M. Levy, Edward D. Lazowska, Thomas E. Anderson
Pages: 37-55
DOI: 10.1145/77648.77650
Lightweight Remote Procedure Call (LRPC) is a communication facility designed and optimized for communication between protection domains on the same machine. In contemporary small-kernel operating systems, existing RPC systems incur an...

A system for computer music performance
Ron Kuivila, David P. Anderson
Pages: 56-82
DOI: 10.1145/77648.77652
A computer music performance system (CMPS) is a computer system connected to input devices (including musical keyboards or other instruments) and to graphic and audio output devices. A human performer generates input events using the input...