Journal of the ACM -- 1973

Volume 20, Number 1, January 1973

• J. Nievergelt and C. K. Wong. Upper bounds for the total path length of binary trees. Journal of the ACM, 20(1):1-6, January 1973. References, Citations, etc. [BibTeX entry]

• Harry M. Sloate and Theodore A. Bickart. A-stable composite multistep methods. Journal of the ACM, 20(1):7-26, January 1973. References, etc. [BibTeX entry]

• Harold S. Stone. An efficient parallel algorithm for the solution of a tridiagonal linear system of equations. Journal of the ACM, 20(1):27-38, January 1973. Citations, etc. [BibTeX entry]

• G. J. Burnett and E. G. Coffman, Jr.. A combinatorial problem related to interleaved memory systems. Journal of the ACM, 20(1):39-45, January 1973. Additional information. [BibTeX entry]

• C. L. Liu and James W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1):46-61, January 1973. References, Citations, etc. [BibTeX entry]

• Arnold K. Griffith. Mathematical models for automatic line detection. Journal of the ACM, 20(1):62-80, January 1973. References, etc. [BibTeX entry]

• Azriel Rosenfeld. Arcs and curves in digital pictures. Journal of the ACM, 20(1):81-87, January 1973. References, Citations, etc. [BibTeX entry]

• Donald L. Richards. Efficient exercising of switching elements in nets of identical gates. Journal of the ACM, 20(1):88-111, January 1973. References, Citations, etc. [BibTeX entry]

• Robert A. Di Paola. The solvability of the decision problem for classes of proper formulas and related results. Journal of the ACM, 20(1):112-126, January 1973. References, etc. [BibTeX entry]

• John K. Dixon. Z-resolution: Theorem-proving with compiled axioms. Journal of the ACM, 20(1):127-147, January 1973. References, etc. [BibTeX entry]

• F. K. Hwang and D. N. Deutsch. A class of merging algorithms. Journal of the ACM, 20(1):148-159, January 1973. Additional information. [BibTeX entry]

• Barry K. Rosen. Tree-manipulating systems and Church-Rosser theorems. Journal of the ACM, 20(1):160-187, January 1973. References, Citations, etc. [BibTeX entry]

• James C. Beatty. Errata: ``An axiomatic approach to code optimization for expressions''. Journal of the ACM, 20(1):188, January 1973. References. [BibTeX entry]

Volume 20, Number 2, April 1973

• Harvey M. Salkin and Ronald D. Koncal. Set covering by an all integer algorithm: Computational experience. Journal of the ACM, 20(2):189-193, April 1973. Citations, etc. [BibTeX entry]

• V. Srinivasan and G. L. Thompson. Benefit-cost analysis of coding techniques for the primal transportation algorithm. Journal of the ACM, 20(2):194-213, April 1973. References, Citations, etc. [BibTeX entry]

• James N. Gray and Michael A. Harrison. Canonical precedence schemes. Journal of the ACM, 20(2):214-234, April 1973. References, Citations, etc. [BibTeX entry]

• David Bruce Lomet. A formalization of transition diagram systems. Journal of the ACM, 20(2):235-257, April 1973. References, etc. [BibTeX entry]

• G. Salton. Recent studies in automatic text analysis and document retrieval. Journal of the ACM, 20(2):258-278, April 1973. References, etc. [BibTeX entry]

• John F. Dalphin and Victor Lovass-Nagy. Best least squares solutions to finite difference equations using the generalized inverse and tensor product methods. Journal of the ACM, 20(2):279-289, April 1973. Additional information. [BibTeX entry]

• Armin Friedli. Optimal covering algorithms in methods of search for solving polynomial equations. Journal of the ACM, 20(2):290-300, April 1973. References, etc. [BibTeX entry]

• A. J. Goldstein and P. L. Richman. A midpoint phenomenon. Journal of the ACM, 20(2):301-304, April 1973. Additional information. [BibTeX entry]

• Jacques Morgenstern. Note on a lower bound on the linear complexity of the fast Fourier transform. Journal of the ACM, 20(2):305-306, April 1973. Citations, etc. [BibTeX entry]

• S. R. Arora and A. Gallo. Optimization of static loading and sizing of multilevel memory systems. Journal of the ACM, 20(2):307-319, April 1973. References, etc. [BibTeX entry]

• Donald L. Richards. Efficient exercising of switching elements in combinatorial nets. Journal of the ACM, 20(2):320-332, April 1973. References, Citations, etc. [BibTeX entry]

• Tomasz Pietrzykowski. A complete mechanization of second-order type theory. Journal of the ACM, 20(2):333-365, April 1973. References, Citations, etc. [BibTeX entry]

Volume 20, Number 3, July 1973

• A. T. Berztiss. A backtrack procedure for isomorphism of directed graphs. Journal of the ACM, 20(3):365-377, July 1973. References, etc. [BibTeX entry]

• Christopher D. Green. A path entropy function for rooted trees. Journal of the ACM, 20(3):378-384, July 1973. References, etc. [BibTeX entry]

• Donald B. Johnson. A note on Dijkstra's shortest path algorithm. Journal of the ACM, 20(3):385-388, July 1973. References, etc. [BibTeX entry]

• Thomas A. Williams and Gregory P. White. A note on Yen's algorithm for finding the length of all shortest paths in N-node nonnegative-distance networks. Journal of the ACM, 20(3):389-390, July 1973. References, Citations, etc. [BibTeX entry]

• Jin Y. Yen. Reply to Williams and White's note. Journal of the ACM, 20(3):390, July 1973. References. [BibTeX entry]

• Toyohisa Kaneko and Bede Liu. On local roundoff errors in floating-point arithmetic. Journal of the ACM, 20(3):391-398, July 1973. References, etc. [BibTeX entry]

• Webb Miller. Toward abstract numerical analysis. Journal of the ACM, 20(3):399-408, July 1973. References, etc. [BibTeX entry]

• G. A. Watson. An algorithm for the inversion of block matrices of Toeplitz form. Journal of the ACM, 20(3):409-415, July 1973. References, Citations, etc. [BibTeX entry]

• Igal Adiri. Cyclic queues with bulk arrivals. Journal of the ACM, 20(3):416-428, July 1973. Additional information. [BibTeX entry]

• David D. Grossman and Harvey F. Silverman. Placement of records on a secondary storage device to minimize access time. Journal of the ACM, 20(3):429-438, July 1973. References, etc. [BibTeX entry]

• G. Tourlakis and J. Mylopoulos. Some results in computational topology. Journal of the ACM, 20(3):439-455, July 1973. References, Citations, etc. [BibTeX entry]

• T. G. Lewis and W. H. Payne. Generalized feedback shift register pseudorandom number algorithm. Journal of the ACM, 20(3):456-468, July 1973. References, Citations, etc. [BibTeX entry]

• J. P. R. Tootill, W. D. Robinson, and D. J. Eagle. An asymptotically random Tausworthe sequence. Journal of the ACM, 20(3):469-481, July 1973. References, Citations, etc. [BibTeX entry]

• R. B. Worrell and B. L. Hulme. Efficient ordering of set expressions for symbolic expansion. Journal of the ACM, 20(3):482-488, July 1973. Additional information. [BibTeX entry]

• Edward Ashcroft, Zohar Manna, and Amir Pnueli. Decidable properties of monadic functional schemas. Journal of the ACM, 20(3):489-499, July 1973. References, Citations, etc. [BibTeX entry]

• Gideon Ehrlich. Loopless algorithms for generating permutations, combinations, and other combinatorial configurations. Journal of the ACM, 20(3):500-513, July 1973. Citations, etc. [BibTeX entry]

• Robert M. Keller. Parallel program schemata and maximal parallelism I. fundamental results. Journal of the ACM, 20(3):514-537, July 1973. References, Citations, etc. [BibTeX entry]

• James C. Beatty. Erratum: ``An axiomatic approach to code optimization for expressions''. Journal of the ACM, 20(3):538, July 1973. References. [BibTeX entry]

Volume 20, Number 4, October 1973

• M. A. Jenkins. Bernoulli's method with implicit shifting. Journal of the ACM, 20(4):539-544, October 1973. Additional information. [BibTeX entry]

• Fred T. Krogh. On testing a subroutine for the numerical integration of ordinary differential equations. Journal of the ACM, 20(4):545-562, October 1973. References, etc. [BibTeX entry]

• Michael T. McClellan. The exact solution of systems of linear equations with polynomial coefficients. Journal of the ACM, 20(4):563-588, October 1973. References, Citations, etc. [BibTeX entry]

• I. Adiri, M. Hofri, and M. Yadin. A multiprogramming queue. Journal of the ACM, 20(4):589-603, October 1973. References, etc. [BibTeX entry]

• C. C. Gotlieb and G. H. MacEwen. Performance of movable-head disk storage devices. Journal of the ACM, 20(4):604-623, October 1973. References, Citations, etc. [BibTeX entry]

• P. C. Yue and C. K. Wong. On the optimality of the probability ranking scheme in storage applications. Journal of the ACM, 20(4):624-633, October 1973. References, etc. [BibTeX entry]

• Manfred H. Hueckel. A local visual operator which recognizes edges and lines. Journal of the ACM, 20(4):634-647, October 1973. References, Citations, etc. [BibTeX entry]

• Rona B. Stillman. The concept of weak substitution in theorem-proving. Journal of the ACM, 20(4):648-667, October 1973. References, etc. [BibTeX entry]

• Leonard Bass and Paul Young. Ordinal hierarchies and naming complexity classes. Journal of the ACM, 20(4):668-686, October 1973. References, Citations, etc. [BibTeX entry]

• Robert P. Daley. An example of information and computation resource trade-off. Journal of the ACM, 20(4):687-695, October 1973. References, etc. [BibTeX entry]

• Robert M. Keller. Parallel program schemata and maximal parallelism II: Construction of closures. Journal of the ACM, 20(4):696-710, October 1973. References, etc. [BibTeX entry]

Shortcuts: