default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of the ACM, Volume 7, 1960
Volume 7, Number 1, January 1960
- David E. Ferguson:
Input-Output Buffering and Fortran. 1-9 - Marvin L. Stein, Jack Rose:
Changing from Analog to Digital Programming by Digital Techniques. 10-23 - Richard Bellman:
Sequential Machines, Ambiguity, and Dynamic Programming. 24-28 - Mario L. Juncosa, T. W. Mullikin:
On the Increase of Convergence Rates of Relaxation Procedures for Elliptic Partial Difference Equations. 29-36 - Tse-Sun Chow, Harold Willis Milnes:
Boundary Contraction Solution of Laplace's Differential Equation II. 37-45 - W. E. Milne, R. R. Reynolds:
Stability of a Numerical Solution of Differential Equations - Part II. 46-56 - Bernard A. Galler, D. P. Rozenberg:
A Generalization of a Theorem of Carr on Error Bounds for Rung-Kutta Procedures. 57-60 - William H. Anderson, R. B. Ball, J. R. Voss:
A Numerical Method for Solving Control Differential Equations on Digital Computers. 61-68 - Gerard P. Weeg:
Truncation Error in the Graeffe Root-Squaring Method. 69-71 - R. R. Coveyou:
Serial Correlation in the Generation of Pseudo-Random Numbers. 72-74 - A. Rotenberg:
A New Pseudo-Random Number Generator. 75-77 - Herman H. Goldstine:
Footnote to a Recent Paper. 78-79
Volume 7, Number 2, April 1960
- Herbert L. Gelernter, J. R. Hansen, Carl L. Gerberich:
A Fortran-Compiled List-Processing Language. 87-101 - Dag Prawitz, Haåkan Prawitz, Neri Voghera:
A Mechanical Proof Procedure and its Realization in an Electronic Computer. 102-128 - W. G. Wadey:
Floating-Point Arithmetics. 129-139 - Gerard Salton:
A New Method for the Payment of Bills and the Transfer of Credit. 140-149 - Hans J. Maehly:
Methods for Fitting Rational Approximations, Part I: Telescoping Procedures for Continued Fractions. 150-162 - Robin E. Esch:
A Necessary and Sufficient Condition for Stability of Partial Difference Equation Problems. 163-175 - Ramón Alonso:
A Starting Method for the Three-Point Adams Predictor-Corrector Method. 176-180 - E. A. Flinn:
A Modification of Filon's Method of Numerical Integration. 181-184 - David D. Morrison:
Remarks on the Unitary Triangularization of a Nonsymmetric Matrix. 185-186 - J. A. Lively:
Letter to the Editor. 187 - E. J. Gauss:
Corrigendum to "A Comparison of Machine Organizations by Their Performance of the Iterative Solution of Linear Equations". 188
Volume 7, Number 3, July 1960
- Martin Davis, Hilary Putnam:
A Computing Procedure for Quantification Theory. 201-215 - Melvin Earl Maron, J. L. Kuhns:
On Relevance, Probabilistic Indexing and Information Retrieval. 216-244 - Walter F. Freiberger, Richard H. Jones:
Computation of the Frequency Function of a Quadratic Form in Random Normal Variables. 245-250 - Arthur Gill:
Analysis of Nets by Numerical Methods. 251-254 - Frank Harary:
On the Consistency of Precedence Matrices. 255-259 - James M. Ortega:
On Sturm Sequences for Tridiagonal Matrices. 260-263 - Samuel D. Conte, Ralph T. Dames:
On an Alternating Direction Method for Solving the Plate Problem with Mixed Boundary Conditions. 264-273 - Werner L. Frank:
Solution of Linear Systems by Richardson's Method. 274-286 - G. B. Fitzpatrick:
Synthesis of Binary Ring Counters of Given Periods. 287-297
Volume 7, Number 4, October 1960
- Ronald E. Prather:
Computational Aids for Determining the Minimal Form of a Truth Function. 299-310 - Seymour Ginsburg:
Connective Properties Preserved in Minimal State Machines. 311-325 - C. E. Miller, Albert W. Tucker, R. A. Zemlin:
Integer Programming Formulation of Traveling Salesman Problems. 326-329 - Erwin Kleinfeld:
Techniques for Enumerating Veblen-Wedderburn Systems. 330-337 - E. E. Osborne:
On Pre-Conditioning of Matrices. 338-345 - Erwin H. Bareiss:
Resultant Procedure and the Mechanization of the Graeffe Process. 346-386 - N. L. Gordon, A. H. Flasterstein:
A Note on a Method of Computing the Gamma Function. 387-388 - Ivan Flores:
Computer Time for Address Calculation Sorting. 389-409
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-12-05 22:23 CET 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:
