Journal: Journal of the ACM

Volume 13, Issue 4

471 -- 494Azriel Rosenfeld, John L. Pfaltz. Sequential Operations in Digital Picture Processing
495 -- 504Edward K. Blum. A Formal System for Differentiation
505 -- 510Edward B. Anders. An Extension of Romberg Integration Procedures to N-Variables
511 -- 525Satya D. Dubey. Statistical Determination of Certain Mathematical Constants and Functions Using Computers
526 -- 532Jun ichi Toyoda, Yoshikazu Tezuka, Yoshiro Kasahara. Analysis of the Address Assignment Problem for Clustered Keys
533 -- 546F. C. Hennie, Richard Edwin Stearns. Two-Tape Simulation of Multitape Turing Machines
547 -- 569Gregory J. Chaitin. On the Length of Programs for Computing Finite Binary Sequences
570 -- 581Rohit Parikh. On Context-Free Languages
582 -- 587Sheila A. Greibach. The Unsolvability of the Recognition of Linear Context-Free Languages
588 -- 593Thomas N. Hibbard, Joseph S. Ullian. The Independence of Inherent Ambiguity From Complementedness Among Context-Free Languages
594 -- 599Philip K. Hooper. The Immortality Problem for Post Normal Systems
600 -- 604Harry C. Shaw. Discrete Analogs for Continuous Filters
605 -- 614C. D. Negron. Digital One-Third Octave Spectral Analysis
615 -- 629J. S. Mamelak. The Placement of Computer Logic Modules

Volume 13, Issue 3

317 -- 338B. Krishnamoorthi, Roger C. Wood. Time-Shared Computer Operations With Both Interarrival and Service Times Exponential
339 -- 358Lewis T. Reinwald, Richard M. Soland. Conversion of Limited-Entry Decision Tables to Optimal Computer Programs I: Minimum Average Processing Time
359 -- 363Philip K. Hooper. Monogenic Post Normal Systems of Arbitrary Degree
364 -- 368Seymour Ginsburg, Joseph S. Ullian. Preservation of unambiguity and inherent ambiguity in context-free languages
369 -- 373Sigmund N. Porter. Use of Multiwrite for General Programmability of Search Memories
374 -- 385Fred T. Krogh. Predictor-Corrector Methods of High Order With Improved Stability Characteristics
386 -- 403Bruce A. Chartres. Automatic Controlled Precision Calculations
404 -- 411M. Donald MacLaren. Internal Sorting by Radix Plus Sifting
412 -- 418John S. Bailey. Generalized Single-Ended Counters
419 -- 429William T. Weeks. Numerical Inversion of Laplace Transforms Using Laguerre Functions
430 -- 438Richard Wesley Hamming, Roger S. Pinkham. A Class of Integration Formulas
439 -- 443Ivan Erdelyi. On the Reverse Order Law Related to the Generalized Inverse of Matrix Products
444 -- 468D. L. Overheu. An Abstract Machine for Symbolic Computation
469 -- 0Franco Mileto, Gianfranco R. Putzolu. Corrigenda: Statistical Complexity of Algorithms for Boolean Function Minimization

Volume 13, Issue 2

179 -- 193Leonard Kleinrock. Sequential Processing Machines (S.P.M) Analyzed With a Queuing Theory Model
194 -- 204Ruth A. Weiss. BE VISION, A Package of IBM 7090 FORTRAN Programs to Draw Orthographic Views of Combinations of Plane and Quadric Surfaces
205 -- 210John T. Welch Jr.. A Mechanical Analysis of the Cyclic Structure of Undirected Linear Graphs
211 -- 222C. V. Ramamoorthy. Analysis of Graphs by Connectivity Considerations
223 -- 225Stephen A. Cook. The Solvability of the Derivability Problem for One-Normal Systems
226 -- 235Ward Douglas Maurer. A Theory of Computer Instructions
236 -- 261Kojiro Kobayashi, Shigeru Sekiguchi. On the Class of Predicates Decidable by Two-Way Multitape Finite Automata
262 -- 280Howard Holtz, C. T. Leondes. The Synthesis of Recursive Digital Filters
281 -- 286Marvin Minsky, Seymour Papert. Unrecognizable Sets of Numbers
287 -- 295Riaz A. Usmani. Boundary Value Techniques for the Numerical Solution of Certain Initial Value Problems in Ordinary Differential Equations
296 -- 303Philip Rabinowitz. Numerical Experiments in Conformal Mapping by the Method of Orthonormal Polynomials
304 -- 316W. W. Bledsoe. Some Results on Multicategory Pattern Recognition

Volume 13, Issue 1

1 -- 16Bruce W. Arden, Bernard A. Galler, T. C. O Brien, F. H. Westervelt. Program and Addressing Structure in a Time-Sharing Environment
17 -- 24A. P. Yershóv. ALPHA - An Automatic Programming System of High Efficiency
25 -- 32J. Schwartz. Large Parallel Computers
33 -- 42A. Gill. Realization of Input-Output Relations by Sequential Machines
43 -- 61L. P. Horwitz, Richard M. Karp, Raymond E. Miller, Shmuel Winograd. Index Register Allocation
62 -- 89Seymour Ginsburg, Joseph S. Ullian. Ambiguity in context free languages
90 -- 107Philip Gilbert. On the Syntax of Algorithmic Languages
108 -- 113Charles B. Dunham. Convergence Problems in Maehly s Second Method: Part II
114 -- 123George D. Byrne, Robert J. Lambert. Pseudo-Runge-Kutta Methods Involving Two Points
124 -- 134R. N. Maddison. A Procedure for Nonlinear Least Squares Refinement in Adverse Practical Conditions
135 -- 142C. A. Barlow Jr., E. L. Jones. A Method for the Solution of Roots of a Nonlinear Equation and for Solution of the General Eigenvalue Problem
143 -- 150Takao Tsuda, Hiroshi Matsumoto. A Note on Linear Extrapolation of Multivariable Functions by the Monte Carlo Method
151 -- 157Michael A. Harrison. On Asymptotic Estimates in Switching and Automata Theory
158 -- 169Arto Salomaa. Two Complete Axiom Systems for the Algebra of Regular Events
170 -- 175Charles A. Trauth. Group-Type Automata