Journal: Journal of the ACM

Volume 32, Issue 4

755 -- 761Eugene C. Freuder. A Sufficient Condition for Backtrack-Bounded Search
762 -- 773Richard M. Karp, Avi Wigderson. A Fast Parallel Algorithm for the Maximal Independent Set Problem
774 -- 803Domenico Saccà. Closures of Database Hypergraphs
804 -- 823Baruch Awerbuch. Complexity of Network Synchronization
824 -- 840Gabriel Bracha, Sam Toueg. Asynchronous Consensus and Broadcast Protocols
841 -- 860Hector Garcia-Molina, Daniel Barbará. How to Assign Votes in a Distributed System
861 -- 870Ulrich Faigle. On Ordered Languages and the Optimization of Linear Functions by Greedy Algorithms
871 -- 895Ilan Adler, Nimrod Megiddo. A Simplex Algorithm Whose Average Number of Steps Is Bounded between Two Quadratic Functions of the Smaller Dimension
896 -- 928Matthew Hennessy. Acceptance Trees
929 -- 937Friedhelm Meyer auf der Heide. Lower Bounds for Solving Linear Diophantine Equations on Random Access Machines
938 -- 949Shlomo Moran, Marc Snir, Udi Manber. Applications of Ramsey s Theorem to Decision Tree Complexity
950 -- 988Mihalis Yannakakis. A Polynomial Algorithm for the Min-Cut Linear Arrangement of Trees

Volume 32, Issue 3

505 -- 536Rina Dechter, Judea Pearl. Generalized Best-First Search Strategies and the Optimality of A*
537 -- 548Edward A. Bender, Jon T. Butler. Enumeration of Structured Flowcharts
549 -- 561William H. Cunningham. Optimal Attach and Reinforcement of a Network
562 -- 572C. C. Lee, D. T. Lee. A Simple On-Line Bin-Packing Algorithm
573 -- 588Bernard Chazelle, Louis Monier. A Model of Computation for VLSI with Related Complexity Results
589 -- 596Albert G. Greenberg, Shmuel Winograd. A Lower Bound on the Time Needed in the Worst Case to Resolve Conflicts Deterministically in Multiple Access Channels
597 -- 617Dan E. Willard, George S. Lueker. Adding Range Restriction Capability to Dynamic Data Structures
618 -- 651Y. C. Tay, Rajan Suri, Nathan Goodman. A Mean Value Performance Model for Locking in Databases: The No-Waiting Case
652 -- 686Daniel Dominic Sleator, Robert Endre Tarjan. Self-Adjusting Binary Search Trees
687 -- 693Andrew Chi-Chih Yao. Uniform Hashing Is Optimal
694 -- 701David Zerling. Generating Binary Trees Using Rotations
702 -- 719Wei-Lu Cao, William J. Stewart. Iterative Aggregation/Disaggregation Techniques for Nearly Uncoupled Markov Chains
720 -- 732Udi Manber, Martin Tompa. The Complexity of Problems on Probabilistic Nondeterministic, and Alternating Decision Trees
733 -- 749A. Prasad Sistla, Edmund M. Clarke. The Complexity of Propositional Linear Temporal Logics
750 -- 0Christos H. Papadimitriou. Correction to A Theorem in Database Concurrency Control

Volume 32, Issue 2

249 -- 279M. A. Bauer. Soundness and Completeness of a Synthesis Algorithm Based on Example Computations
280 -- 295Georg Gottlob, Alexander Leitsch. On the Efficiency of Subsumption Algorithms
296 -- 313Ching-Chy Wang, Errol L. Lloyd, Mary Lou Soffa. Feedback Vertex Sets and Cyclically Reducible Graphs
314 -- 326Gael N. Buckley, Abraham Silberschatz. Beyond Two-Phase Locking
327 -- 343Brenda S. Baker, Edward G. Coffman Jr., Dan E. Willard. Algorithms for Resolving Conflicts in Dynamic Storage Allocation
344 -- 373M. E. Gonzalez Smith, James A. Storer. Parallel Algorithms for Data Compression
374 -- 382Michael J. Fischer, Nancy A. Lynch, Mike Paterson. Impossibility of Distributed Consensus with One Faulty Process
383 -- 410Gérard Cornuéjols, Denis Naddef, William R. Pulleyblank. The Traveling Salesman Problem in Graphs with 3-Edge Cutsets
411 -- 444John Staples, V. L. Nguyen. A Fixpoint Semantics for Nondeterministic Data Flow
445 -- 465Asser N. Tantawi, Donald F. Towsley. Optimal Static Load Balancing in Distributed Computer Systems
466 -- 483Eitan M. Gurari. Decidable Problems for Powerful Programs
484 -- 502Sven Skyum, Leslie G. Valiant. A Complexity Theory Based on Boolean Algebra

Volume 32, Issue 1

1 -- 27A. Bagchi, A. Mahanti. Three Approaches to Heuristic Search in Networks
28 -- 51A. Mahanti, A. Bagchi. AND/OR Graph Heuristic Search Methods
52 -- 78Leslie Lamport, P. M. Melliar-Smith. Synchronizing Clocks in the Presence of Faults
79 -- 101Serge Abiteboul. Disaggregations in Databases
102 -- 129Ken Fuchs, Dennis G. Kafura. Memory-Constrained Task Scheduling on a Network of Dual Processors
130 -- 136Dorit S. Hochbaum, Wolfgang Maass. Approximation Schemes for Covering and Packing Problems in Image Processing and VLSI
137 -- 161Matthew Hennessy, Robin Milner. Algebraic Laws for Nondeterminism and Concurrency
162 -- 190Hendrik Vantilborgh. Aggregation with an Error of O(epsilon:::2:::)
191 -- 204Danny Dolev, Rüdiger Reischuk. Bounds on Information Exchange for Byzantine Agreement
205 -- 217Shimon Even, Alan L. Selman, Yacov Yacobi. Hard-Core Theorems for Complexity Classes
218 -- 228Maria M. Klawe. A Tight Bound for Black and White Pebbles on the Pyramid
229 -- 246J. C. Lagarias, Andrew M. Odlyzko. Solving Low-Density Subset Sum Problems