default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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, John 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 - John T. Chu, J. C. Chueh:
Error Probability in Decision Functions for Character Recognition. 273-280 - David F. 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 - John 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 - Wilfred 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 - Abraham 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. Simões-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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-08-28 00:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
