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
Y. Amir, L. E. Moser, P. M. Melliar-Smith, D. A. Agarwal, P. Ciarfella
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
Maurice Herlihy, Beng-Hong Lim, Nir Shavit
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
Dino Mandrioli, Sandro Morasca, Angelo Morzenti
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...