Volume 32, Number 1, January 1985
- A. Bagchi, A. Mahanti:
Three Approaches to Heuristic Search in Networks.
1-27
Electronic Edition (ACM DL) BibTeX
- A. Mahanti, A. Bagchi:
AND/OR Graph Heuristic Search Methods.
28-51
Electronic Edition BibTeX
- Leslie Lamport, P. M. Melliar-Smith:
Synchronizing Clocks in the Presence of Faults.
52-78
Electronic Edition (ACM DL) BibTeX
- Serge Abiteboul:
Disaggregations in Databases.
79-101
Electronic Edition BibTeX
- Ken Fuchs, Dennis G. Kafura:
Memory-Constrained Task Scheduling on a Network of Dual Processors.
102-129
Electronic Edition (ACM DL) BibTeX
- Dorit S. Hochbaum, Wolfgang Maass:
Approximation Schemes for Covering and Packing Problems in Image Processing and VLSI.
130-136
Electronic Edition (ACM DL) BibTeX
- Matthew Hennessy, Robin Milner:
Algebraic Laws for Nondeterminism and Concurrency.
137-161
Electronic Edition (ACM DL) BibTeX
- Hendrik Vantilborgh:
Aggregation with an Error of O(epsilon2).
162-190
Electronic Edition (ACM DL) BibTeX
- Danny Dolev, Rüdiger Reischuk:
Bounds on Information Exchange for Byzantine Agreement.
191-204
Electronic Edition BibTeX
- Shimon Even, Alan L. Selman, Yacov Yacobi:
Hard-Core Theorems for Complexity Classes.
205-217
Electronic Edition (ACM DL) BibTeX
- Maria M. Klawe:
A Tight Bound for Black and White Pebbles on the Pyramid.
218-228
Electronic Edition (ACM DL) BibTeX
- J. C. Lagarias, Andrew M. Odlyzko:
Solving Low-Density Subset Sum Problems.
229-246
Electronic Edition (ACM DL) BibTeX
Volume 32, Number 2, April 1985
- M. A. Bauer:
Soundness and Completeness of a Synthesis Algorithm Based on Example Computations.
249-279
Electronic Edition (ACM DL) BibTeX
- Georg Gottlob, Alexander Leitsch:
On the Efficiency of Subsumption Algorithms.
280-295
Electronic Edition (ACM DL) BibTeX
- Ching-Chy Wang, Errol L. Lloyd, Mary Lou Soffa:
Feedback Vertex Sets and Cyclically Reducible Graphs.
296-313
Electronic Edition (ACM DL) BibTeX
- Gael N. Buckley, Abraham Silberschatz:
Beyond Two-Phase Locking.
314-326
Electronic Edition BibTeX
- Brenda S. Baker, Edward G. Coffman Jr., Dan E. Willard:
Algorithms for Resolving Conflicts in Dynamic Storage Allocation.
327-343
Electronic Edition BibTeX
- M. E. Gonzalez Smith, James A. Storer:
Parallel Algorithms for Data Compression.
344-373
Electronic Edition BibTeX
- Michael J. Fischer, Nancy A. Lynch, Mike Paterson:
Impossibility of Distributed Consensus with One Faulty Process.
374-382
Electronic Edition BibTeX
- Gérard Cornuéjols, Denis Naddef, William R. Pulleyblank:
The Traveling Salesman Problem in Graphs with 3-Edge Cutsets.
383-410
Electronic Edition (ACM DL) BibTeX
- John Staples, V. L. Nguyen:
A Fixpoint Semantics for Nondeterministic Data Flow.
411-444
Electronic Edition (ACM DL) BibTeX
- Asser N. Tantawi, Donald F. Towsley:
Optimal Static Load Balancing in Distributed Computer Systems.
445-465
Electronic Edition BibTeX
- Eitan M. Gurari:
Decidable Problems for Powerful Programs.
466-483
Electronic Edition (ACM DL) BibTeX
- Sven Skyum, Leslie G. Valiant:
A Complexity Theory Based on Boolean Algebra.
484-502
Electronic Edition BibTeX
Volume 32, Number 3, July 1985
- Rina Dechter, Judea Pearl:
Generalized Best-First Search Strategies and the Optimality of A*.
505-536
Electronic Edition BibTeX
- Edward A. Bender, Jon T. Butler:
Enumeration of Structured Flowcharts.
537-548
Electronic Edition (ACM DL) BibTeX
- William H. Cunningham:
Optimal Attach and Reinforcement of a Network.
549-561
Electronic Edition (ACM DL) BibTeX
- C. C. Lee, D. T. Lee:
A Simple On-Line Bin-Packing Algorithm.
562-572
Electronic Edition (ACM DL) BibTeX
- Bernard Chazelle, Louis Monier:
A Model of Computation for VLSI with Related Complexity Results.
573-588
Electronic Edition (ACM DL) BibTeX
- Albert G. Greenberg, Shmuel Winograd:
A Lower Bound on the Time Needed in the Worst Case to Resolve Conflicts Deterministically in Multiple Access Channels.
589-596
Electronic Edition (ACM DL) BibTeX
- Dan E. Willard, George S. Lueker:
Adding Range Restriction Capability to Dynamic Data Structures.
597-617
Electronic Edition BibTeX
- Y. C. Tay, Rajan Suri, Nathan Goodman:
A Mean Value Performance Model for Locking in Databases: The No-Waiting Case.
618-651
Electronic Edition BibTeX
- Daniel Dominic Sleator, Robert Endre Tarjan:
Self-Adjusting Binary Search Trees.
652-686
Electronic Edition BibTeX
- Andrew Chi-Chih Yao:
Uniform Hashing Is Optimal.
687-693
Electronic Edition (ACM DL) BibTeX
- David Zerling:
Generating Binary Trees Using Rotations.
694-701
Electronic Edition (ACM DL) BibTeX
- Wei-Lu Cao, William J. Stewart:
Iterative Aggregation/Disaggregation Techniques for Nearly Uncoupled Markov Chains.
702-719
Electronic Edition (ACM DL) BibTeX
- Udi Manber, Martin Tompa:
The Complexity of Problems on Probabilistic Nondeterministic, and Alternating Decision Trees.
720-732
Electronic Edition (ACM DL) BibTeX
- A. Prasad Sistla, Edmund M. Clarke:
The Complexity of Propositional Linear Temporal Logics.
733-749
Electronic Edition BibTeX
- Christos H. Papadimitriou:
Correction to ``A Theorem in Database Concurrency Control''.
750 BibTeX
Volume 32, Number 4, October 1985
Copyright © Sun May 17 00:05:43 2009
by Michael Ley (ley@uni-trier.de)
