Journal: Journal of the ACM

Volume 37, Issue 4

691 -- 711Wojciech Szpankowski. Patricia Tries Again Revisited
712 -- 719David A. Briggs. A Correction of the Termination Conditions of the Henschen-Naqvi Technique
720 -- 741Danny Dolev, Rüdiger Reischuk, H. Raymond Strong. Early Stopping in Byzantine Agreement
742 -- 776Tobias Nipkow. Unification in Primal Algebras, Their Powers and Their Varieties
777 -- 814Gopalan Nadathur, Dale Miller. Higher-Order Horn Clauses
815 -- 842J. Robin B. Cockett, J. A. Hierrera. Decision Tree Reduction
843 -- 862Dorit S. Hochbaum, J. George Shanthikumar. Convex Separable Optimization Is Not Much Harder than Linear Optimization
863 -- 898Peter G. Harrison, Naresh M. Patel. The Representation of Multistage Interconnection Networks in Queuing Models of Parallel Systems

Volume 37, Issue 3

439 -- 463Bernard Chazelle. Lower Bounds for Orthogonal Range Searching II. The Arithmetic Model
464 -- 473Lawrence L. Larmore, Daniel S. Hirschberg. A Fast Algorithm for Optimal Length-Limited Huffman Codes
474 -- 490Marc H. Graham, Ke Wang. On the Equivalence of an Egd to a Set of Fd s
491 -- 523In Kyung Ryu, Alexander Thomasian. Analysis of Database Performance with Dynamic Locking
524 -- 548Hagit Attiya, Amotz Bar-Noy, Danny Dolev, David Peleg, Rüdiger Reischuk. Renaming in an Asynchronous Environment
549 -- 587Joseph Y. Halpern, Yoram Moses. Knowledge and Common Knowledge in a Distributed Environment
588 -- 606Aydin Üresin, Michel Dubois. Parallel Asynchronous Algorithms for Discrete Data
607 -- 625Ariel Orda, Raphael Rom. Shortest-Path and Minimum-Delay Algorithms in Networks with Time-Dependent Edge-Length
626 -- 642Yijie Han, Robert A. Wagner. An Efficient and Fast Parallel-Connected Component Algorithm
643 -- 673Krishna R. Pattipati, Michael M. Kostreva, John L. Teele. Approximate Mean Value Analysis Algorithms for Queuing Networks: Existence, Uniqueness, and Convergence Results
674 -- 687Yuri Gurevich, Saharon Shelah. Nondeterministic Linear-Time Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space

Volume 37, Issue 2

195 -- 199Henry W. Davis. Cost-Error Relationships in A* Tree-Searching
200 -- 212Bernard Chazelle. Lower Bounds for Orthogonal Range Searching: I. The Reporting Case
213 -- 223Ravindra K. Ahuja, Kurt Mehlhorn, James B. Orlin, Robert Endre Tarjan. Faster Algorithms for the Shortest Path Problem
224 -- 237Béla Bollobás, Andrei Z. Broder, István Simon. The Cost Distribution of Clustering in Random Probing
238 -- 256Baruch Awerbuch, Oded Goldreich, David Peleg, Ronen Vainish. A Trade-Off between Information and Communication in Broadcast Protocols
257 -- 278Maurice Herlihy. Concurrency and Availability as Dual Properties of Replicated Atomic Data
279 -- 317Martín Abadi, Zohar Manna. Nonclausal Deduction in First-Order Temporal Logic
318 -- 334Farhad Shahrokhi, David W. Matula. The Maximum Concurrent Flow Problem
335 -- 372Jan A. Bergstra, Jan Heering, Paul Klint. Module Algebra
373 -- 414François Baccelli, Zhen Liu. On the Execution of Parallel Programs on Multiprocessor Systems-A Queuing Theory Approach
415 -- 438Ker-I Ko. Separating and Collapsing Results on the Relativized Probabilistic Polynomial-Time Hierarchy

Volume 37, Issue 1

1 -- 14Phokion G. Kolaitis, Christos H. Papadimitriou. Some Computational Aspects of Circumscription
15 -- 46Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi. Polynomial-Time Implication Problems for Unary Inclusion Dependencies
47 -- 85Joxan Jaffar. Minimal and Complete Word Unification
86 -- 143Joseph Y. Halpern, John H. Williams, Edward L. Wimmers. Completeness of Rewrite Rules and Rewrite Strategies for FP
144 -- 174Charles Knessl, Charles Tier. Asymptotic Expansions for Large Closed Queuing Networks
175 -- 193Attila Máté. Nondeterministic Polynomial-Time Computations and Models of Arithmetic