ACM DL

Computer Systems (TOCS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Computer Systems (TOCS), Volume 13 Issue 4, Nov. 1995

The Totem single-ring ordering and membership protocol
P. Ciarfella, D. A. Agarwal, P. M. Melliar-Smith, L. E. Moser, Y. Amir
Pages: 311-342
DOI: 10.1145/210223.210224
Fault-tolerant distributed systems are becoming more important, but in existing systems, maintaining the consistency of replicated data is quite expensive. The Totem single-ring protocol supports consistent concurrent operations by placing a...

Scalable concurrent counting
Beng-Hong Lim, Nir Shavit, Maurice Herlihy
Pages: 343-364
DOI: 10.1145/210223.210225
The notion of counting is central to a number of basic multiprocessor coordination problems, such as dynamic load balancing, barrier synchronization, and concurrent data structure design. We investigate the scalability of a variety of counting...

Generating test cases for real-time systems from logic specifications
Angelo Morzenti, Sandro Morasca, Dino Mandrioli
Pages: 365-398
DOI: 10.1145/210223.210226
We address the problem of automated derivation of functional test cases for real-time systems, by introducing techniques for generating test cases from formal specifications written in TRIO, a language that extends classical temporal logic to...