@article{Beatty/73,
AUTHOR = {Beatty, J.C.},
TITLE = {An axiomatic approach to code optimization for expressions},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {188},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
NOTE = {see Errata, J.ACM 20, p. 538},
}
@article{Nievergelt-Wong/73,
AUTHOR = {Nievergelt, I. and Wong, C.K.},
TITLE = {Upper bounds for the total path length of binary trees},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {1-6},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Sloate-Bickart/73,
AUTHOR = {Sloate, H.M. and Bickart, T.A.},
TITLE = {$A$-stable composite multistep methods},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {7-26},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Stone/73b,
AUTHOR = {Stone, Harold S.},
TITLE = {An efficient parallel algorithm for the solution of a tridiagonal linear system of equations},
JOURNAL = {J. ACM},
VOLUME = {20},
NUMBER = {1},
PAGES = {27-38},
YEAR = {1973, January},
KEYWORDS = {parallel computation, Illiac IV, linear equations, computer architecture, numerical analysis},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Burnett-Coffman/73,
AUTHOR = {Burnett, G.J. and Coffman, E.G., Jr.},
TITLE = {A combinatorial problem related to interleaved memory systems},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {39-45},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Liu-Layland/73,
AUTHOR = {Liu, C.L. and Layland, James W.},
TITLE = {Scheduling algorithms for multiprogramming in a hard-real-time environment},
JOURNAL = {J. ACM},
VOLUME = {20},
NUMBER = {1},
PAGES = {46-61},
YEAR = {1973, January},
KEYWORDS = {real-time multiprogramming, scheduling, multiprogram scheduling, dynamic scheduling},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Griffith/73,
AUTHOR = {Griffith, A.K.},
TITLE = {Mathematical models for automatic line detection},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {62-80},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Rosenfeld/73,
AUTHOR = {Rosenfeld, A.},
TITLE = {Acrs and curves in digital pictures},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {81-87},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Richards/73,
AUTHOR = {Richards, D.L.},
TITLE = {Efficient exercising of switching elements in nets of identical gates},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {88-111},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Di_Paola/73,
AUTHOR = {Di Paola, R.A.},
TITLE = {The solvability of the decision problem for classes of proper formulas and related results},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {112-126},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Dixon/73,
AUTHOR = {Dixon, J.K.},
TITLE = {Z-resolution: Theorem-proving with compiled axioms},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {127-147},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hwang-Deutsch/73,
AUTHOR = {Hwang, F.K. and Deutsch, D.N.},
TITLE = {A class of merging algorithms},
JOURNAL = {J. ACM},
VOLUME = {20},
NUMBER = {1},
PAGES = {148-159},
YEAR = {1973, January},
KEYWORDS = {merging, sorting, algorithm, minimax algorithm, ordering, ordered set, paired comparisons},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Rosen/73,
AUTHOR = {Rosen, Barry K.},
TITLE = {Tree-manipulating systems and Church-Rosser theorems},
JOURNAL = {J. ACM},
VOLUME = {20},
NUMBER = {1},
PAGES = {160-187},
YEAR = {1973, January},
KEYWORDS = {nondeterministic algorithm, normal form, tree, operator-operand structure},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Salkin-Koncal/73,
AUTHOR = {Salkin, H.M. and Koncal, R.D.},
TITLE = {Set covering by an all integer algorithm: Computational experience},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {189-193},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Srinivasan-Thompson/73,
AUTHOR = {Srinivasan, V. and Thompson, G.L.},
TITLE = {Benefit-cost analysis of coding techniques for the primal transportation algorithm},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {194-213},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Gray-Harrison/73,
AUTHOR = {Gray, J.N. and Harrison, M.A.},
TITLE = {Canonical precedence schemes},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {214-234},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Lomet/73,
AUTHOR = {Lomet, D.B.},
TITLE = {A formalization of transition diagram systems},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {235-257},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Salton/73,
AUTHOR = {Salton, G.},
TITLE = {Recent studies in automatic text analysis and document retrieval},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {258-278},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Dalphin-Lovass-Nagy/73,
AUTHOR = {Dalphin, J.F. and Lovass-Nagy, V.},
TITLE = {Best least squares solutions to finite difference equations using the generalized inverse and tensor product methods},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {279-289},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Friedli/73,
AUTHOR = {Friedli, A.},
TITLE = {Optimal covering algorithms in methods of search for solving polynomial equations},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {290-300},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Goldstein-Richman/73,
AUTHOR = {Goldstein, A.J. and Richman, P.L.},
TITLE = {A midpoint phenomenon},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {301-304},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Morgenstern/73,
AUTHOR = {Morgenstern, J.},
TITLE = {Note on a lower bound of the linear complexity of the fast Fourier transform},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {305-306},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Arora-Gallo/73,
AUTHOR = {Arora, S.R. and Gallo, A.},
TITLE = {Optimization of static loading and sizing of multilevel memory systems},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {307-319},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Richards/73a,
AUTHOR = {Richards, D.L.},
TITLE = {Efficient exercising of switching elements in combinational nets},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {320-332},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Pietrzykowski/73,
AUTHOR = {Pietrzykowski, T.},
TITLE = {A complete mechanization of second-order type theory},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {333-364},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Bertziss/73,
AUTHOR = {Bertziss, A.T.},
TITLE = {A backtrack procedure for isomorphism of directed graphs},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {365-377},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Green/73,
AUTHOR = {Green, C.D.},
TITLE = {A path entropy function for rooted trees},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {378-384},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Johnson/73,
AUTHOR = {Johnson, D.B.},
TITLE = {A note on Dijkstra's shortest path algorithm},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {385-388},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Williams-White/73,
AUTHOR = {Williams, T.A. and White, G.P.},
TITLE = {A note on Yen's algorithm for finding the length of all shortest paths in N-node nonnegative-distance networks},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {389-390},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Kaneko-Liu/73,
AUTHOR = {Kaneko, T. and Liu, B.},
TITLE = {On local roundoff errors in floating-point arithmetic},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {391-398},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Miller/73a,
AUTHOR = {Miller, W.},
TITLE = {Toward abstract numerical analysis},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {399-408},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Watson/73,
AUTHOR = {Watson, G.A.},
TITLE = {An algorithm for the inversion of block matrices of Toeplitz form},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {409-415},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Adiri/73,
AUTHOR = {Adiri, I.},
TITLE = {Cyclic queues with bulk arrivals},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {416-428},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Grossman-Silverman/73,
AUTHOR = {Grossman, D.D. and Silverman, H.F.},
TITLE = {Placement of records on a secondary storage device to minimize access time},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {429-438},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Tourlakis-Mylopoulos/73,
AUTHOR = {Tourlakis, G. and Mylopoulos, J.},
TITLE = {Some results in computational topology},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {439-455},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Lewis-Payne/73,
AUTHOR = {Lewis, T.G. and Payne, W.H.},
TITLE = {Generalized feedback shift register pseudorandom number algorithm},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {456-468},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Tootill-Robinson-Eagle/73,
AUTHOR = {Tootill, J.P.R. and Robinson, W.D. and Eagle, D.J.},
TITLE = {An asymptotically random Tausworthe sequence},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {469-481},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Worrell-Hulme/73,
AUTHOR = {Worrell, R.B. and Hulme, B.L.},
TITLE = {Efficient ordering of set expressions for symbolic expansion},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {482-488},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ashcroft-Manna-Pnueli/73,
AUTHOR = {Ashcroft, E. and Manna, Z. and Pnueli, A.},
TITLE = {Decidable properties of monadic functional schemas},
JOURNAL = {J. ACM},
VOLUME = {20},
NUMBER = {3},
PAGES = {489-499},
YEAR = {1973, July},
KEYWORDS = {monadic functional schemas, decision problems, equivalence, freedom},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ehrlich/73,
AUTHOR = {Ehrlich, G.},
TITLE = {Loopless algorithms for generating permutations, combinations, and other combinatorial configurations},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {500-513},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Keller/73a,
AUTHOR = {Keller, Robert M.},
TITLE = {Parallel program schemata and maximal parallelism I. Fundamental results},
JOURNAL = {J. ACM},
VOLUME = {20},
NUMBER = {3},
PAGES = {514-537},
YEAR = {1973, July},
KEYWORDS = {parallel computation, program schemata, multiprocessing, automata, real-time},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Jenkins/73,
AUTHOR = {Jenkins, M.A.},
TITLE = {Bernouil's method with implicit shifting},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {539-544},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Krogh/73,
AUTHOR = {Krogh, F.T.},
TITLE = {On testing a subroutine for the numerical integration of ordinary differential equations},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {545-562},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{McClellan/73,
AUTHOR = {McClellan, M.T.},
TITLE = {The exact solution of systems of linear equations with polynomial coefficients},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {563-588},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Adiri-Hofri-Yadin/73,
AUTHOR = {Adiri, I. and Hofri, M. and Yadin, M.},
TITLE = {A multiprogramming queue},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {589-603},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Gotlieb-MacEwen/73,
AUTHOR = {Gotlieb, C.C. and MacEwen, G.H.},
TITLE = {Performance of movable-head disk storage devices},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {604-623},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
NOTE = {see Erratum in J.ACM, Vol. 22, 172},
}
@article{Yue-Wong/73,
AUTHOR = {Yue, P.C. and Wong, C.K.},
TITLE = {On the optimality of the probability ranking scheme in storage applications},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {624-633},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hueckel/73,
AUTHOR = {Hueckel, M.H.},
TITLE = {A local visual operator which recognizes edges and lines},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {634-647},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
NOTE = {see Erratum in J. ACM, Vol. 21, 350},
}
@article{Stillman/73,
AUTHOR = {Stillman, R.B.},
TITLE = {The concept of weak substitution in theorem-proving},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {648-667},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Bass-Young/73,
AUTHOR = {Bass, Leonard and Young, Paul},
TITLE = {Ordinal hierarchies and naming complexity classes},
JOURNAL = {J. ACM},
VOLUME = {20},
NUMBER = {4},
PAGES = {668-686},
YEAR = {1973, October},
KEYWORDS = {computational complexity, hierarchies of functions, Blum theory},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Daley/73,
AUTHOR = {Daley, R.P.},
TITLE = {An example of information and computation resource trade-off},
JOURNAL = {J. ACM},
VOLUME = {20},
PAGES = {687-695},
YEAR = {1973},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Keller/73,
AUTHOR = {Keller, Robert M.},
TITLE = {Parallel program schemata and maximal parallelism II. Construction and closures},
JOURNAL = {J. ACM},
VOLUME = {20},
NUMBER = {4},
PAGES = {696-710},
YEAR = {1973, October},
KEYWORDS = {parallel computation, program schemata, multiprocessing, automata, real-time},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}