Journal of the ACM, Volume 20, 1973

Volume 20, Number 1, January 1973

Jürg Nievergelt, C. K. Wong:
Upper Bounds for the Total Path Length of Binary Trees. 1-6
Electronic Edition (ACM DL) BibTeX
Harry M. Sloate, Theodore A. Bickart:
A-Stable Composite Multistep Methods. 7-26
Electronic Edition (ACM DL) BibTeX
Harold S. Stone:
An Efficient Parallel Algorithm for the Solution of a Tridiagonal Linear System of Equations. 27-38
Electronic Edition (ACM DL) BibTeX
G. J. Burnett, Edward G. Coffman Jr.:
A Combinatorial Problem Related to Interleaved Memory Systems. 39-45
Electronic Edition (ACM DL) BibTeX
C. L. Liu, James W. Layland:
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. 46-61
Electronic Edition BibTeX
Arnold K. Griffith:
Mathematical Models for Automatic Line Detection. 62-80
Electronic Edition (ACM DL) BibTeX
Azriel Rosenfeld:
Arcs and Curves in Digital Pictures. 81-87
Electronic Edition (ACM DL) BibTeX
Donald L. Richards:
Efficient Exercising of Switching Elements in Nets of Identical Gates. 88-111
Electronic Edition (ACM DL) BibTeX
Robert A. Di Paola:
The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results. 112-126
Electronic Edition BibTeX
John K. Dixon:
Z-Resolution: Theorem-Proving with Compiled Axioms. 127-147
Electronic Edition (ACM DL) BibTeX
Frank K. Hwang, David N. Deutsch:
A Class of Merging Algorithms. 148-159
Electronic Edition (ACM DL) BibTeX
Barry K. Rosen:
Tree-Manipulating Systems and Church-Rosser Theorems. 160-187
Electronic Edition BibTeX
James C. Beatty:
Errata: ``An axiomatic approach to code optimization for Expressions''. 188
Electronic Edition (ACM DL) BibTeX

Volume 20, Number 2, April 1973

Harvey M. Salkin, Ronald D. Koncal:
Set Covering by an All Integer Algorithm: Computational Experience. 189-193
Electronic Edition (ACM DL) BibTeX
V. Srinivasan, G. L. Thompson:
Benefit-Cost Analysis of Coding Techniques for the Primal Transportation Algorithm. 194-213
Electronic Edition (ACM DL) BibTeX
Jim Gray, Michael A. Harrison:
Canonical Precedence Schemes. 214-234
Electronic Edition (ACM DL) BibTeX
David B. Lomet:
A Formalization of Transition Diagram Systems. 235-257
Electronic Edition (ACM DL) BibTeX
Gerard Salton:
Recent Studies in Automatic Text Analysis and Document Retrieval. 258-278
Electronic Edition BibTeX
John F. Dalphin, Victor Lovass-Nagy:
Best Least Squares Solutions to Finite Difference Equations Using the Generalized Inverse and Tensor Product Methods. 279-289
Electronic Edition (ACM DL) BibTeX
Armin Friedli:
Optimal Covering Algorithms in Methods of Search for Solving Polynomial Equations. 290-300
Electronic Edition (ACM DL) BibTeX
A. J. Goldstein, Paul L. Richman:
A Midpoint Phenomenon. 301-304
Electronic Edition (ACM DL) BibTeX
Jacques Morgenstern:
Note on a Lower Bound on the Linear Complexity of the Fast Fourier Transform. 305-306
Electronic Edition (ACM DL) BibTeX
Sant R. Arora, A. Gallo:
Optimization of Static Loading and Sizing of Multilevel Memory Systems. 307-319
Electronic Edition (ACM DL) BibTeX
Donald L. Richards:
Efficient Exercising of Switching Elements in Combinatorial Nets. 320-332
Electronic Edition (ACM DL) BibTeX
Tomasz Pietrzykowski:
A Complete Mechanization of Second-Order Type Theory. 333-364
Electronic Edition (ACM DL) BibTeX

Volume 20, Number 3, July 1973

Alfs T. Berztiss:
A Backtrack Procedure for Isomorphism of Directed Graphs. 365-377
Electronic Edition (ACM DL) BibTeX
Christopher D. Green:
A Path Entropy Function for Rooted Trees. 378-384
Electronic Edition (ACM DL) BibTeX
Donald B. Johnson:
A Note on Dijkstra's Shortest Path Algorithm. 385-388
Electronic Edition BibTeX
Thomas A. Williams, Gregory P. White:
A Note on Yen's Algorithm for Finding the Length of All Shortest Paths in N-Node Nonnegative-Distance Networks. 389-390
Electronic Edition (ACM DL) BibTeX
Jin Y. Yen:
Reply to Williams and White's Note. 390
Electronic Edition (ACM DL) BibTeX
Toyohisa Kaneko, Bede Liu:
On Local Roundoff Errors in Floating-Point Arithmetic. 391-398
Electronic Edition (ACM DL) BibTeX
Webb Miller:
Toward Abstract Numerical Analysis. 399-408
Electronic Edition (ACM DL) BibTeX
G. A. Watson:
An Algorithm for the Inversion of Block Matrices of Toeplitz Form. 409-415
Electronic Edition (ACM DL) BibTeX
Igal Adiri:
Cyclic Queues with Bulk Arrivals. 416-428
Electronic Edition (ACM DL) BibTeX
David D. Grossman, Harvey F. Silverman:
Placement of Records on a Secondary Storage Device to Minimize Access Time. 429-438
Electronic Edition BibTeX
George Tourlakis, John Mylopoulos:
Some Results in Computational Topology. 439-455
Electronic Edition (ACM DL) BibTeX
T. G. Lewis, W. H. Payne:
Generalized Feedback Shift Register Pseudorandom Number Algorithm. 456-468
Electronic Edition (ACM DL) BibTeX
J. P. R. Tootill, W. D. Robinson, D. J. Eagle:
An Asymptotically Random Tausworthe Sequence. 469-481
Electronic Edition (ACM DL) BibTeX
Richard B. Worrell, Bernie L. Hulme:
Efficient Ordering of Set Expressions for Symbolic Expansion. 482-488
Electronic Edition (ACM DL) BibTeX
Edward A. Ashcroft, Zohar Manna, Amir Pnueli:
Decidable Properties of Monadic Functional Schemas. 489-499
Electronic Edition BibTeX
Gideon Ehrlich:
Loopless Algorithms for Generating Permutations, Combinations, and Other Combinatorial Configurations. 500-513
Electronic Edition (ACM DL) BibTeX
Robert M. Keller:
Parallel Program Schemata and Maximal Parallelism I. Fundamental Results. 514-537
Electronic Edition BibTeX
James C. Beatty:
Errata: ``An axiomatic approach to code optimization for Expressions''. 188
Electronic Edition (ACM DL) BibTeX

Volume 20, Number 4, October 1973

Michael A. Jenkins:
Bernoulli's Method with Implicit Shifting. 539-544
Electronic Edition (ACM DL) BibTeX
Fred T. Krogh:
On Testing a Subroutine for the Numerical Integration of Ordinary Differential Equations. 545-562
Electronic Edition (ACM DL) BibTeX
Michael T. McClellan:
The Exact Solution of Systems of Linear Equations with Polynomial Coefficients. 563-588
Electronic Edition (ACM DL) BibTeX
Igal Adiri, Micha Hofri, Micha Yadin:
A Multiprogramming Queue. 589-603
Electronic Edition (ACM DL) BibTeX
C. C. Gotlieb, Glenn H. MacEwen:
Performance of Movable-Head Disk Storage Devices. 604-623
Electronic Edition BibTeX
P. C. Yue, C. K. Wong:
On the Optimality of the Probability Ranking Scheme in Storage Applications. 624-633
Electronic Edition BibTeX
Manfred H. Hueckel:
A Local Visual Operator Which Recognizes Edges and Lines. 634-647
Electronic Edition (ACM DL) BibTeX
Rona B. Stillman:
The Concept of Weak Substitution in Theorem-Proving. 648-667
Electronic Edition (ACM DL) BibTeX
Leonard J. Bass, Paul Young:
Ordinal Hierarchies and Naming Complexity Classes. 668-686
Electronic Edition (ACM DL) BibTeX
Robert P. Daley:
An Example of Information and Computation Resource Trade-Off. 687-695
Electronic Edition (ACM DL) BibTeX
Robert M. Keller:
Parallel Program Schemata and Maximal Parallelism II: Construction of Closures. 696-710
Electronic Edition BibTeX