@article{Perlis/67,
AUTHOR = {Perlis, Alan J.},
TITLE = {The synthesis of algorithmic systems},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {1-9},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Wunderlich/67,
AUTHOR = {Wunderlich, Marvin C.},
TITLE = {Sieving procedures on a digital computer},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {10-19},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Lewis-Baxendale-Bennett/67,
AUTHOR = {Lewis, P.A.W. and Baxendale, P.B. and Bennett, J.L.},
TITLE = {Statistical discrimination of the synonymy/antonymy relationship between words},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {20-44},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Brans/67,
AUTHOR = {Brans, Carl H.},
TITLE = {A computer program for the nonnumerical testing and reduction of sets of algebraic partial differential equations},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {45-62},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Chartres-Geuder/67,
AUTHOR = {Chartres, Bruce A. and Geuder, James C.},
TITLE = {Computable error bounds for direct solution of linear equations},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {63-71},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Stewart/67,
AUTHOR = {Stewart III, G.W.},
TITLE = {A modification of Davidon's minimization method to accept difference approximations of derivatives},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {72-83},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Butcher/67,
AUTHOR = {Butcher, John C.},
TITLE = {A multistep generalization of Runge-Kutta methods with four or five stages},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {84-99},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Coveyou-Macpherson/67,
AUTHOR = {Coveyou, R.R. and Macpherson, R.D.},
TITLE = {Fourier analysis of uniform random number generators},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {100-119},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Youn/67,
AUTHOR = {Youn, Tzay Y.},
TITLE = {Binomial-weighted orthogonal polynomials},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {120-127},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Collins/67,
AUTHOR = {Collins, George E.},
TITLE = {Subresultants and reduced polynomial remainder sequences},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {128-142},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Shaw/67,
AUTHOR = {Shaw, Brian},
TITLE = {Modified multistep methods based on a nonpolynomial interpolant},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {143-154},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Kohfeld-Thompson/67,
AUTHOR = {Kohfeld, J.J. and Thompson, G.T.},
TITLE = {Multistep methods with modified predictors and correctors},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {155-166},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Yasuhara/67,
AUTHOR = {Yasuhara, Ann},
TITLE = {A remark on post normal systems},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {167-171},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ginsburg-Greibach-Harrison/67a,
AUTHOR = {Ginsburg, Seymour and Greibach, Sheila A. and Harrison, Michael A.},
TITLE = {Stack automata and compiling},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {172-201},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Minnick/67,
AUTHOR = {Minnick, Robert C.},
TITLE = {A survey of microcellular research},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {203-241},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Kleinrock/67,
AUTHOR = {Kleinrock, Leonard},
TITLE = {Time-shared systems: A theoretical treatment},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {242-261},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Shemer/67,
AUTHOR = {Shemer, Jack E.},
TITLE = {Some mathematical considerations of time-sharing scheduling algorithms},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {262-272},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Chu-Chuer/67,
AUTHOR = {Chu, J.T. and Chuer, J.C.},
TITLE = {Error probability in decision functions for character recognition},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {273-280},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Martin-Estrin/67,
AUTHOR = {Martin, David and Estrin, Gerald},
TITLE = {Models of computation and systems - Evaluation of vertex probabilities in graph models of computations},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {281-299},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Waite/67,
AUTHOR = {Waite, William M.},
TITLE = {Path detection in multidimensional iterative arrays},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {300-310},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Moore/67,
AUTHOR = {Moore, J.B.},
TITLE = {A convergent algorithm for solving polynomial equations},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {311-315},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Moler/67,
AUTHOR = {Moler, Cleve B.},
TITLE = {Iterative refinement in floating point},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {316-321},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Blum/67b,
AUTHOR = {Blum, Manuel},
TITLE = {A machine-independent theory of the complexity of recursive functions},
JOURNAL = {J. ACM},
VOLUME = {14},
NUMBER = {2},
PAGES = {322-336},
YEAR = {1967, April},
PUBLISHER = {ACM Press},
ORGANIZATION = {ACM},
ADDRESS = {New York},
}
@article{Westlake/67,
AUTHOR = {Westlake, W.J.},
TITLE = {A uniform random number generator based on the combination of two congruential generators},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {337-340},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Mancino/67,
AUTHOR = {Mancino, O.G.},
TITLE = {Resolution by iteration of some nonlinear systems},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {341-350},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Krogh/67,
AUTHOR = {Krogh, Fred T.},
TITLE = {A test for instability in the numerical solution of ordinary differential equations},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {351-354},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ginzburg/67,
AUTHOR = {Ginzburg, A.},
TITLE = {A procedure for checking equality of regular expressions},
JOURNAL = {J. ACM},
VOLUME = {14},
NUMBER = {2},
PAGES = {355-362},
YEAR = {1967, April},
}
@article{Cryer/67,
AUTHOR = {Cryer, C.W.},
TITLE = {On the numerical solution of a quasi-linear elliptic equation},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {363-375},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Natapoff/67,
AUTHOR = {Natapoff, Alan},
TITLE = {Irreducible topological components of an arbitrary Boolean truth function and generation of their minimal coverings},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {376-381},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Pickett/67,
AUTHOR = {Pickett, H.E.},
TITLE = {Note concerning the algebraic theory of automata},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {382-388},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ginsburg-Greibach-Harrison/67,
AUTHOR = {Ginsburg, Seymour and Greibach, Sheila A. and Harrison, Michael A.},
TITLE = {One-way stack automata},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {389-418},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Gaver/67,
AUTHOR = {Gaver, D.P., Jr.},
TITLE = {Probability models for multiprogramming computer systems},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {423-438},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Manacher/67,
AUTHOR = {Manacher, G.K.},
TITLE = {Production and stabilization of real-time task schedules},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {439-465},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Brzozowski/67,
AUTHOR = {Brzozowski, J.A.},
TITLE = {Roots of star events},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {466-477},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Karp/67,
AUTHOR = {Karp, Richard M.},
TITLE = {Some bounds on the storage requirements of sequential machines and Turing machines},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {478-489},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{McNaughton/67,
AUTHOR = {McNaughton, Robert},
TITLE = {Parenthesis grammars},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {490-500},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Rosenkrantz/67,
AUTHOR = {Rosenkrantz, Daniel J.},
TITLE = {Matrix equations and normal forms for context-free grammars},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {501-507},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Oliver/67,
AUTHOR = {Oliver, I.},
TITLE = {Analysis of factorial experiments using generalized matrix operations},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {508-519},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Klee/67,
AUTHOR = {Klee, Victor},
TITLE = {A method for constructing circuit codes},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {520-528},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Mowle/67,
AUTHOR = {Mowle, Frederic J.},
TITLE = {An algorithm for generating stable feedback shift registers of order $n$},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {529-542},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Rigal-Gaches/67,
AUTHOR = {Rigal, J.L. and Gaches, J.},
TITLE = {On the compatibility of a given solution with the data of a linear system},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {543-548},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hicks-Wei/67,
AUTHOR = {Hicks, J.S. and Wei, J.},
TITLE = {Numerical solution of parabolic partial differential equations with two-point boundary conditions by use of the method of lines},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {549-562},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Karp-Miller-Winograd/67,
AUTHOR = {Karp, R.M. and Miller, R.E. and Winograd, S.},
TITLE = {The organization of computations for uniform recurrence equations},
JOURNAL = {J. ACM},
VOLUME = {14},
NUMBER = {3},
PAGES = {563-590},
YEAR = {1967, July},
}
@article{Carroll-Wetherald/67,
AUTHOR = {Carroll, A.B. and Wetherald, R.T.},
TITLE = {Applications of parallel processing to numerical weather prediction},
JOURNAL = {J. ACM},
VOLUME = {14},
NUMBER = {3},
PAGES = {591-614},
YEAR = {1967, July},
}
@article{Knuth-Bigelow/67,
AUTHOR = {Knuth, Donald E. and Bigelow, Richard H.},
TITLE = {Programming languages for automata},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {615-635},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Floyd/67,
AUTHOR = {Floyd, Robert W.},
TITLE = {Nondeterministic algorithms},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {636-644},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Rosenberg/67a,
AUTHOR = {Rosenberg, Arnold L.},
TITLE = {Real-time definable languages},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {645-662},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hartmanis/67,
AUTHOR = {Hartmanis, J.},
TITLE = {On memory requirements for context-free language recognition},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {663-665},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Gill-Flexer/67,
AUTHOR = {Gill, Arthur and Flexer, J. Robert},
TITLE = {Periodic decomposition of sequential machines},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {666-676},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Aanderaa-Fischer/67,
AUTHOR = {Aanderaa, St{\AA}l and Fischer, Patrick C.},
TITLE = {The solvability of the halting problem for 2-state Post machines},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {677-682},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Barnes-Fitzgerald/67,
AUTHOR = {Barnes, Bruce H. and Fitzgerald, John M.},
TITLE = {Minimal experiments for input-independent machines},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {683-686},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Slagle/67,
AUTHOR = {Slagle, James R.},
TITLE = {Automatic theorem proving with renamable and semantic resolution},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {687-697},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Wos-Robinson-Carson-Shalla/67,
AUTHOR = {Wos, Lawrence and Robinson, George A. and Carson, Daniel F. and Shalla, Leon},
TITLE = {The concept of demodulation in theorem proving},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {698-709},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Fairthorne/67,
AUTHOR = {Fairthorne, Robert A.},
TITLE = {Morphology of ``Information flow''},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {710-719},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Shapiro/67,
AUTHOR = {Shapiro, Marvin B.},
TITLE = {An algorithm for reconstructing protein and RNA sequences},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {720-731},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Sigillito/67,
AUTHOR = {Sigillito, V.G.},
TITLE = {On a continuous method of approximating solutions of the heat equation},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {732-741},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Reinwald-Soland/67,
AUTHOR = {Reinwald, Lewis T. and Soland, Richard M.},
TITLE = {Conversion of limited-entry decision tables to optimal computer programs II: Minimum storage requirement},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {742-756},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Pease/67,
AUTHOR = {Pease, M.C.},
TITLE = {Matrix inversion using parallel processing},
JOURNAL = {J. ACM},
VOLUME = {14},
NUMBER = {4},
PAGES = {757-764},
YEAR = {1967, October},
}
@article{Odell-Decell/67,
AUTHOR = {Odell, P.L. and Decell, H.P.},
TITLE = {On computing the fixed-point probability vector of ergodic transition matrices},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {765-768},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Brush-Kohfeld-Thompson/67,
AUTHOR = {Brush, D.G. and Kohfeld, J.J. and Thompson, G.T.},
TITLE = {Solution of ordinary differential equations using two ``off-step'' points},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {769-784},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{van_Gelder/67,
AUTHOR = {van Gelder, A.},
TITLE = {Some new results in pseudo-random number generation},
JOURNAL = {J. ACM},
VOLUME = {14},
PAGES = {785-792},
YEAR = {1967},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Winograd/67,
AUTHOR = {Winograd, S.},
TITLE = {On the time required to perform multiplication},
JOURNAL = {J. ACM},
VOLUME = {14},
NUMBER = {4},
PAGES = {793-802},
YEAR = {1967, October},
}