Journal: Journal of the ACM

Volume 20, Issue 4

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

Volume 20, Issue 3

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

Volume 20, Issue 2

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

Volume 20, Issue 1

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