Journal of the ACM, Volume 14, 1967

Volume 14, Number 1, January 1967

• Alan J. Perlis:
  The Synthesis of Algorithmic Systems. 1-9
  
• Marvin C. Wunderlich:
  Sieving Procedures on a Digital Computer. 10-19
  
• Peter A. W. Lewis, P. B. Baxendale, J. L. Bennett:
  Statistical Discrimination of the Synonymy/Antonymy Relationship Between Words. 20-44
  
• Carl H. Brans:
  A Computer Program for the Nonnumerical Testing and Reduction of Sets of Algebraic Partial Differential Equations. 45-62
  
• Bruce A. Chartres, James C. Geuder:
  Computable Error Bounds for Direct Solution of Linear Equations. 63-71
  
• G. W. Stewart:
  A Modification of Davidon's Minimization Method to Accept Difference Approximations of Derivatives. 72-83
  
• John C. Butcher:
  A Multistep Generalization of Runge-Kutta Methods With Four or Five Stages. 84-99
  
• R. R. Coveyou, R. D. Macpherson:
  Fourier Analysis of Uniform Random Number Generators. 100-119
  
• Tzay Y. Young:
  Binomial-Weighted Orthogonal Polynomials. 120-127
  
• George E. Collins:
  Subresultants and Reduced Polynomial Remainder Sequences. 128-142
  
• Brian Shaw:
  Modified Multistep Methods Based on a Nonpolynomial Interpolant. 143-154
  
• John J. Kohfeld, Gene Thomas Thompson:
  Multistep Methods With Modified Predictors and Correctors. 155-166
  
• Ann Yasuhara:
  A Remark on Post Normal Systems. 167-171
  
• Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison:
  Stack automata and compiling. 172-201
  

Volume 14, Number 2, April 1967

• Robert C. Minnick:
  A Survey of Microcellular Research. 203-241
  
• Leonard Kleinrock:
  Time-shared Systems: a theoretical treatment. 242-261
  
• Jack E. Shemer:
  Some Mathematical Considerations of Time-Sharing Scheduling Algorithms. 262-272
  
• J. T. Chu, J. C. Chueh:
  Error Probability in Decision Functions for Character Recognition. 273-280
  
• David Martin, Gerald Estrin:
  Models of Computations and Systems - Evaluation of Vertex Probabilities in Graph Models of Computations. 281-299
  
• William M. Waite:
  Path Detection in Multidimensional Iterative Arrays. 300-310
  
• J. B. Moore:
  A Convergent Algorithm for Solving Polynomial Algorithms. 311-315
  
• Cleve B. Moler:
  Iterative Refinement in Floating Point. 316-321
  
• Manuel Blum:
  A Machine-Independent Theory of the Complexity of Recursive Functions. 322-336
  
• W. J. Westlake:
  A Uniform Random Number Generator Based on the Combination of Two Congruential Generators. 337-340
  
• O. G. Mancino:
  Resolution by Iteration of Some Nonlinear Systems. 341-350
  
• Fred T. Krogh:
  A Test for Instability in the Numerical Solution of Ordinary Differential Equations. 351-354
  
• A. Ginzburg:
  A Procedure for Checking Equality of Regular Expressions. 355-362
  
• Colin W. Cryer:
  On the Numerical Solution of a Quasi-Linear Elliptic Equation. 363-375
  
• Alan Natapoff:
  Irreducible Topological Components of an Arbitrary Boolean Truth Function and Generation of Their Minimal Coverings. 376-381
  
• H. E. Pickett:
  Note Concerning the Algebraic Theory of Automata. 382-388
  
• Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison:
  One-way stack automata. 389-418
  
• J. M. S. Simoes Pereira:
  Corrigendum: ``On the Boolean Matrix Equation M...''. 419-420
  
• Gerard P. Weeg:
  Corrigendum: `` The Automorphism Group of the Direct Product of Strongly Related Automata''. 421
  

Volume 14, Number 3, July 1967

• Donald P. Gaver:
  Probability Models for Multiprogramming Computer Systems. 423-438
  
• Glenn K. Manacher:
  Production and Stabilization of Real-Time Task Schedules. 439-465
  
• Janusz A. Brzozowski:
  Roots of Star Events. 466-477
  
• Richard M. Karp:
  Some Bounds on the Storage Requirements of Sequential Machines and Turing Machines. 478-489
  
• Robert McNaughton:
  Parenthesis Grammars. 490-500
  
• Daniel J. Rosenkrantz:
  Matrix Equations and Normal Forms for Context-Free Grammars. 501-507
  
• I. Oliver:
  Analysis of Factorial Experiments Using Generalized Matrix Operations. 508-519
  
• Victor Klee:
  A Method for Constructing Circuit Codes. 520-528
  
• Frederic J. Mowle:
  An Algorithm for Generating Stable Feedback Shift Registers of Order n. 529-542
  
• J. L. Rigal, J. Gaches:
  On the Compatibility of a Given Solution With the Data of a Linear System. 543-548
  
• J. S. Hicks, J. Wei:
  Numerical Solution of Parabolic Partial Differential Equations With Two-Point Boundary Conditions by Use of the Method of Lines. 549-562
  
• Richard M. Karp, Raymond E. Miller, Shmuel Winograd:
  The Organization of Computations for Uniform Recurrence Equations. 563-590
  
• A. B. Carroll, R. T. Wetherald:
  Application of Parallel Processing to Numerical Weather Prediction. 591-614
  

Volume 14, Number 4, October 1967

• Donald E. Knuth, Richard H. Bigelow:
  Programming Language for Automata. 615-635
  
• Robert W. Floyd:
  Nondeterministic Algorithms. 636-644
  
• Arnold L. Rosenberg:
  Real-Time Definable Languages. 645-662
  
• Juris Hartmanis:
  On Memory Requirements for Context-Free Language Recognition. 663-665
  
• Arthur Gill, J. Robert Flexer:
  Periodic Decomposition of Sequential Machines. 666-676
  
• Stål Aanderaa, Patrick C. Fischer:
  The Solvability of the Halting Problem for 2-State Post Machines. 677-682
  
• Bruce H. Barnes, John M. Fitzgerald:
  Minimal Experiments for Input-Independent Machines. 683-686
  
• James R. Slagle:
  Automatic Theorem Proving With Renamable and Semantic Resolution. 687-697
  
• Larry Wos, George A. Robinson, Daniel F. Carson, Leon Shalla:
  The Concept of Demodulation in Theorem Proving. 698-709
  
• Robert A. Fairthorne:
  Morphology of ``Information Flow''. 710-719
  
• Marvin B. Shapiro:
  An Algorithm for Reconstructing Protein and RNA Sequences. 720-731
  
• Vincent G. Sigillito:
  On a Continuous Method of Approximating Solutions of the Heat Equation. 732-741
  
• Lewis T. Reinwald, Richard M. Soland:
  Conversion of Limited-Entry Decision Tables to Optimal Computer Programs II: minimum storage requirement. 742-756
  
• Marshall C. Pease:
  Matrix Inversion Using Parallel Processing. 757-764
  
• Patrick L. Odell, E. P. Decell:
  On Computing the Fixed-Point Probability Vector of Ergodic Transition Matrices. 765-768
  
• D. G. Brush, John J. Kohfeld, Gene Thomas Thompson:
  Solution of Ordinary Differential Equations Using Two "Off-Step" Points. 769-784
  
• Allen Van Gelder:
  Some New Results in Pseudo-Random Number Generation. 785-792
  
• Shmuel Winograd:
  On the Time Required to Perform Multiplication. 793-802