default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of the ACM, Volume 13, 1966
Volume 13, Number 1, January 1966
- Bruce W. Arden, Bernard A. Galler, T. C. O'Brien, F. H. Westervelt:
Program and Addressing Structure in a Time-Sharing Environment. 1-16 - A. P. Yershóv:
ALPHA - An Automatic Programming System of High Efficiency. 17-24 - Jack Schwartz:
Large Parallel Computers. 25-32 - Arthur Gill:
Realization of Input-Output Relations by Sequential Machines. 33-42 - Lawrence Paul Horwitz, Richard M. Karp, Raymond E. Miller, Shmuel Winograd:
Index Register Allocation. 43-61 - Seymour Ginsburg, Joseph S. Ullian:
Ambiguity in context free languages. 62-89 - Philip Gilbert:
On the Syntax of Algorithmic Languages. 90-107 - Charles B. Dunham:
Convergence Problems in Maehly's Second Method: Part II. 108-113 - George D. Byrne, Robert J. Lambert:
Pseudo-Runge-Kutta Methods Involving Two Points. 114-123 - R. N. Maddison:
A Procedure for Nonlinear Least Squares Refinement in Adverse Practical Conditions. 124-134 - C. A. Barlow Jr., Eric L. Jones:
A Method for the Solution of Roots of a Nonlinear Equation and for Solution of the General Eigenvalue Problem. 135-142 - Takao Tsuda, Hiroshi Matsumoto:
A Note on Linear Extrapolation of Multivariable Functions by the Monte Carlo Method. 143-150 - Michael A. Harrison:
On Asymptotic Estimates in Switching and Automata Theory. 151-157 - Arto Salomaa:
Two Complete Axiom Systems for the Algebra of Regular Events. 158-169 - Charles A. Trauth:
Group-Type Automata. 170-175
Volume 13, Number 2, April 1966
- Leonard Kleinrock:
Sequential Processing Machines (S.P.M) Analyzed With a Queuing Theory Model. 179-193 - Ruth A. Weiss:
BE VISION, A Package of IBM 7090 FORTRAN Programs to Draw Orthographic Views of Combinations of Plane and Quadric Surfaces. 194-204 - John T. Welch:
A Mechanical Analysis of the Cyclic Structure of Undirected Linear Graphs. 205-210 - C. V. Ramamoorthy:
Analysis of Graphs by Connectivity Considerations. 211-222 - Stephen A. Cook:
The Solvability of the Derivability Problem for One-Normal Systems. 223-225 - Ward Douglas Maurer:
A Theory of Computer Instructions. 226-235 - Kojiro Kobayashi, Shigeru Sekiguchi:
On the Class of Predicates Decidable by Two-Way Multitape Finite Automata. 236-261 - Howard Holtz, Cornelius T. Leondes:
The Synthesis of Recursive Digital Filters. 262-280 - Marvin Minsky, Seymour Papert:
Unrecognizable Sets of Numbers. 281-286 - Riaz A. Usmani:
Boundary Value Techniques for the Numerical Solution of Certain Initial Value Problems in Ordinary Differential Equations. 287-295 - Philip Rabinowitz:
Numerical Experiments in Conformal Mapping by the Method of Orthonormal Polynomials. 296-303 - W. W. Bledsoe:
Some Results on Multicategory Pattern Recognition. 304-316
Volume 13, Number 3, July 1966
- B. Krishnamoorthi, Roger C. Wood:
Time-Shared Computer Operations With Both Interarrival and Service Times Exponential. 317-338 - Lewis T. Reinwald, Richard M. Soland:
Conversion of Limited-Entry Decision Tables to Optimal Computer Programs I: Minimum Average Processing Time. 339-358 - Philip K. Hooper:
Monogenic Post Normal Systems of Arbitrary Degree. 359-363 - Seymour Ginsburg, Joseph S. Ullian:
Preservation of unambiguity and inherent ambiguity in context-free languages. 364-368 - Sigmund N. Porter:
Use of Multiwrite for General Programmability of Search Memories. 369-373 - Fred T. Krogh:
Predictor-Corrector Methods of High Order With Improved Stability Characteristics. 374-385 - Bruce A. Chartres:
Automatic Controlled Precision Calculations. 386-403 - M. Donald MacLaren:
Internal Sorting by Radix Plus Sifting. 404-411 - John S. Bailey:
Generalized Single-Ended Counters. 412-418 - William T. Weeks:
Numerical Inversion of Laplace Transforms Using Laguerre Functions. 419-429 - Richard Wesley Hamming, Roger S. Pinkham:
A Class of Integration Formulas. 430-438 - Ivan Erdelyi:
On the "Reverse Order Law" Related to the Generalized Inverse of Matrix Products. 439-443 - D. L. Overheu:
An Abstract Machine for Symbolic Computation. 444-468 - Franco Mileto, Gianfranco R. Putzolu:
Corrigenda: "Statistical Complexity of Algorithms for Boolean Function Minimization". 469
Volume 13, Number 4, October 1966
- Azriel Rosenfeld, John L. Pfaltz:
Sequential Operations in Digital Picture Processing. 471-494 - Edward K. Blum:
A Formal System for Differentiation. 495-504 - Edward B. Anders:
An Extension of Romberg Integration Procedures to N-Variables. 505-510 - Satya D. Dubey:
Statistical Determination of Certain Mathematical Constants and Functions Using Computers. 511-525 - Jun'ichi Toyoda, Yoshikazu Tezuka, Yoshiro Kasahara:
Analysis of the Address Assignment Problem for Clustered Keys. 526-532 - F. C. Hennie, Richard Edwin Stearns:
Two-Tape Simulation of Multitape Turing Machines. 533-546 - Gregory J. Chaitin:
On the Length of Programs for Computing Finite Binary Sequences. 547-569 - Rohit Parikh:
On Context-Free Languages. 570-581 - Sheila A. Greibach:
The Unsolvability of the Recognition of Linear Context-Free Languages. 582-587 - Thomas N. Hibbard, Joseph S. Ullian:
The Independence of Inherent Ambiguity From Complementedness Among Context-Free Languages. 588-593 - Philip K. Hooper:
The Immortality Problem for Post Normal Systems. 594-599 - Harry C. Shaw:
Discrete Analogs for Continuous Filters. 600-604 - C. D. Negron:
Digital One-Third Octave Spectral Analysis. 605-614 - J. S. Mamelak:
The Placement of Computer Logic Modules. 615-629
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-04 01:27 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:
