Journal of the ACM (JACM)


Search Issue
enter search term and/or author name


Journal of the ACM (JACM), Volume 43 Issue 1, Jan. 1996

Local management of a global resource in a communication network
Yehuda Afek, Baruch Awerbuch, Serge Plotkin, Michael Saks
Pages: 1-19
DOI: 10.1145/227595.227596
This paper introduces a new distributed data object called Resource Controller that provides an abstraction for managing the consumption of a global resource in a distributed system. Examples of resources that may be managed by such an object...

Tabled evaluation with delaying for general logic programs
Weidong Chen, David S. Warren
Pages: 20-74
DOI: 10.1145/227595.227597
SLD resolution with negation as finite failure (SLDNF) reflects the procedural interpretation of predicate calculus as a programming language and forms the computational basis for Prolog systems. Despite its advantages for stack-based memory...

A comprehensive study of the complexity of multiparty interaction
Yuh-Jzer Joung, Scott A. Smolka
Pages: 75-115
DOI: 10.1145/227595.227601

The benefits of relaxing punctuality
Rajeev Alur, Tomás Feder, Thomas A. Henzinger
Pages: 116-146
DOI: 10.1145/227595.227602

The asymptotic complexity of merging networks
Peter Bro Miltersen, Mike Paterson, Jun Tarui
Pages: 147-165
DOI: 10.1145/227595.227693
Let M(m,n) be the minimum number of comparatorsneeded in a comparator network that merges m elements ...

Automated proofs of object code for a widely used microprocessor
Robert S. Boyer, Yuan Yu
Pages: 166-192
DOI: 10.1145/227595.227603