Journal: Journal of the ACM

Volume 23, Issue 4

573 -- 581G. E. Peterson. Theorem Proving with Lemmas
582 -- 598Seymour Ginsburg, Nancy A. Lynch. Size complexity in context-free grammars forms
599 -- 618Yoram Yakimovsky. Boundary and Object Detection in Real World Images
619 -- 635Mark J. Eisner, Dennis G. Severance. Mathematical Techniques for Efficient Record Segmentation in Large Shared Databases
636 -- 654D. E. Heller, D. K. Stevenson, J. F. Traub. Accelerated Iterative Methods for the Solution of Tridiagonal Systems on Parallel Computers
655 -- 664John L. Bruno. Sequencing Jobs with Stochastic Task Structures on a Single Machine
665 -- 679Teofilo F. Gonzalez, Sartaj Sahni. Open Shop Scheduling to Minimize Finish Time
680 -- 690Zvi Rosberg, I. Adiri. Multilevel Queues with Extremal Priorities
691 -- 699Ben Wegbreit. Verifying Program Performance
700 -- 709John P. Hayes. Enumeration of Fanout-Free Boolean Functions
710 -- 719Shimon Even, Robert Endre Tarjan. A Combinatorial Problem Which Is Complete in Polynomial Space
720 -- 732Richard J. Lipton, Stanley C. Eisenstat, Richard A. DeMillo. Space and Time Hierarchies for Classes of Control Structures and Data Structures
733 -- 742Maarten H. van Emden, Robert A. Kowalski. The Semantics of Predicate Logic as a Programming Language

Volume 23, Issue 3

398 -- 417William H. Joyner Jr.. Resolution Strategies as Decision Procedures
418 -- 422Lena Chang, James F. Korsh. Canonical Coin Changing and Greedy Solutions
423 -- 432Nicholas Pippenger, Leslie G. Valiant. Shifting Graphs and Their Applications
433 -- 445Douglas C. Schmidt, Larry E. Druffel. A Fast Backtracking Algorithm to Test Directed Graphs for Isomorphism Using Distance Matrices
446 -- 450Peter J. Slater. R-Domination in Graphs
451 -- 454William H. Burge. An Analysis of Binary Search Trees Formed from Sequences of Nondistinct Keys
455 -- 460Jeff R. Cash. Semi-Implicit Runge-Kutta Procedures with Error Estimates for the Numerical Integration of Stiff Systems of Ordinary Differential Equations
461 -- 467M. R. Garey, David S. Johnson. Scheduling Tasks with Nonuniform Deadlines on Two Processors
468 -- 474Ta Huu Phuong. Solution of Integer Programs with a Quadratic Objective Function
475 -- 487V. Srinivasan. Linear Programming Computational Procedures for Ordinal Regression
488 -- 501Alfred V. Aho, Stephen C. Johnson. Optimal Code Generation for Expression Trees
502 -- 510John L. Bruno, Ravi Sethi. Code Generation for a One-Register Machine
511 -- 533M. Dennis Mickunas, Ronald L. Lancaster, Victor B. Schneider. Transforming LR(k) Grammars to LR(1), SLR(1), and (1, 1) Bounded Right-Context Grammars
534 -- 543David E. Muller, Franco P. Preparata. Restructuring of Arithmetic Expressions For Parallel Evaluation
544 -- 554Christos H. Papadimitriou. On the complexity of edge traversing
555 -- 565Sartaj Sahni, Teofilo F. Gonzalez. P-Complete Approximation Problems
566 -- 571Andrew Chi-Chih Yao, Foong Frances Yao. Lower Bounds on Merging Networks
572 -- 0R. A. Cody, Edward G. Coffman Jr.. Errata: Record Allocation for Minimizing Expected Retrieval Costs on Drum-Like Storage Devices

Volume 23, Issue 2

221 -- 234Harold N. Gabow. An Efficient Implementation of Edmonds Algorithm for Maximum Matching on Graphs
235 -- 241Richard G. Larson. Efficiency of Computation of Cayley Tables of 2-Groups
242 -- 251Richard P. Brent. Fast Multiple-Precision Evaluation of Elementary Functions
252 -- 261H. T. Kung. New Algorithms and Lower Bounds for the Parallel Evaluation of Certain Rational Expressions and Recurrences
262 -- 272Edward M. McCreight. A Space-Economical Suffix Tree Construction Algorithm
273 -- 286Clement T. Yu, W. S. Luk, T. Y. Cheung. A Statistical Model for Relevance Feedback in Information Retrieval
287 -- 297Alan Feldstein, Richard Goodman. Convergence Estimates for the Distribution of Trailing Digits
298 -- 309Donald Fraser. Array Permutation by Index-Digit Permutation
310 -- 316Marcello Pagano. On the Linear Convergence of a Covariance Factorization Algorithm
317 -- 327Ellis Horowitz, Sartaj Sahni. Exact and Approximate Algorithms for Scheduling Nonidentical Processors
328 -- 341Alan G. Konheim, Martin Reiser. A Queueing Model with Finite Waiting Room and Blocking
342 -- 346Thomas G. Price. A Note on the Effect or the Central Processor Service Time Distribution on Processor Utilization in Multiprogrammed Computer Systems
347 -- 360Donald L. Iglehart. Simulating Stable Stochastic Systems, VI: Quantile Estimation
361 -- 367Kenneth Lloyd Rider. A Simple Approximation to the Average Queue Size in the Time-Dependent M/M/1 Queue
368 -- 388Steven L. Horowitz, Theodosios Pavlidis. Picture Segmentation by a Tree Traversal Algorithm
389 -- 396Ben Wegbreit, Jay M. Spitzen. Proving Properties of Complex Data Structures

Volume 23, Issue 1

1 -- 12Alfred V. Aho, Daniel S. Hirschberg, Jeffrey D. Ullman. Bounds on the Complexity of the Longest Common Subsequence Problem
13 -- 16C. K. Wong, Ashok K. Chandra. Bounds for the String Editing Problem
17 -- 30M. Dennis Mickunas. On the Complete Covering Problem for LR(k)Grammars
31 -- 42Julian R. Ullmann. An Algorithm for Subgraph Isomorphism
43 -- 49M. R. Garey, David S. Johnson. The Complexity of Near-Optimal Graph Coloring
50 -- 57Robert A. Wagner. A Shortest Path Algorithm for Edge-Sparse Graphs
58 -- 73Alberto Martelli. A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph
74 -- 75Narsingh Deo. Note on Hopcroft and Tarjan s Planarity Algorithm
76 -- 88Clement T. Yu, Gerard Salton. Precision Weighting - An Effective Automatic Indexing Method
89 -- 96Kenny S. Crump. Numerical Inversion of Laplace Transforms Using a Fourier Series Approximation
97 -- 102Dominique Potier, Erol Gelenbe, Jacques Lenfant. Adaptive Allocation of Central Processing Unit Quanta
103 -- 115R. A. Cody, Edward G. Coffman Jr.. Record Allocation for Minimizing Expected Retrieval Costs on Drum-Like Storage Devices
116 -- 127Sartaj Sahni. Algorithms for Scheduling Independent Tasks
128 -- 146Ronald Fagin, Malcolm C. Easton. The independence of miss ratio on page size
147 -- 154Daniel S. Hirschberg, C. K. Wong. A Polynomial-Time Algorithm for the Knapsack Problem with Two Variables
155 -- 157Britton Harris. A Code for the Transportation Problem of Linear Programming
158 -- 171John B. Kam, Jeffrey D. Ullman. Global Data Flow Analysis and Iterative Algorithms
172 -- 202Susan L. Graham, Mark N. Wegman. A Fast and Usually Linear Algorithm for Global Flow Analysis
203 -- 220Christoph M. Hoffmann, Lawrence H. Landweber. A Completeness Theorem for Straight-Line Programs with Structured Variables