Journal: Journal of the ACM

Volume 15, Issue 4

493 -- 513C. C. Gotlieb, S. Kumar. Semantic Clustering of Index Terms
514 -- 534Donald R. Morrison. PATRICIA - Practical Algorithm To Retrieve Information Coded in Alphanumeric
535 -- 548Thomas C. Lowe. The Influence of Data Base Characteristics and Usage on Direct Access File Organization
549 -- 576Edward G. Coffman Jr., Leonard Kleinrock. Feedback Queueing Models for Time-Shared Systems
577 -- 589Joseph Abate, Harvey Dubner, Sheldon B. Weinberg. Queueing Analysis of the IBM 2314 Disk Storage Facility
590 -- 599Raymond Reiter. Scheduling Parallel Computations
600 -- 624Ugo Montanari. A Method for Obtaining Skeletons Using a Quasi-Euclidean Distance
625 -- 646J. Ross Quinlan, E. B. Hunt. A Formal Deductive Problem-Solving System
647 -- 671Alfred V. Aho. Indexed Grammars - An Extension of Context-Free Grammars
672 -- 679Arnold L. Rosenberg. On the Independence of Real-Time Definability and Certain Structural Properties of Context-Free Languages
680 -- 692Dennis F. Cudia, Wilson E. Singletary. Degrees of Unsolvability in Formal Grammars
693 -- 705Amar Mukhopadhyay. Representation of Events in the von Neumann Cellular Model
706 -- 711Abbas I. Abdel Karim. A Theorem for the Stability of General Predictor-Corrector Methods for the Solution of Systems of Differential Equations
712 -- 719James Dyer. Generalized Multistep Methods in Satellite Orbit Computation
720 -- 0Peter B. Andrews. A Correction Concerning Resolution

Volume 15, Issue 3

341 -- 353Edward G. Coffman Jr.. Analysis of Two Time-Sharing Algorithms Designed for Limited Swapping
354 -- 366Paul G. Comba. A Procedure for Detecting Intersections of Three-Dimensional Objects
367 -- 381Peter B. Andrews. Resolution With Merging
382 -- 389Juris Hartmanis, H. Shank. On the Recognition of Primes by Automata
390 -- 401John J. Kohfeld, Gene Thomas Thompson. A Modification of Nordsieck s Method Using an Off-Step Point
402 -- 408Gerhard Zielke. Inversion of Modified Symmetric Matrices
409 -- 413Timothy V. Griffiths. The Unsolvability of the Equivalence Problem for Lambda-Free Nondeterministic Generalized Machines
414 -- 427John E. Hopcroft, Jeffrey D. Ullman. Relations Between Time and Tape Complexities
428 -- 446Seymour Ginsburg, Michael A. Harrison. One-way nondeterministic real-time list-storage languages
447 -- 464Bruce A. Chartres, J. J. Florentin. A Universal Syntax-Directed Top-Down Analyzer
465 -- 488Philip M. Lewis II, Richard Edwin Stearns. Syntax-Directed Transduction
489 -- 0Niklaus Wirth. Corrigendum: PL360, a Programming Language for the 360 Computers

Volume 15, Issue 2

165 -- 175Jack Sklansky, M. Finkelstein. A Formalism for Program Translation
176 -- 192P. A. Gilmore. Structuring of Parallel Algorithms
205 -- 220Stephen P. Morse. A Mathematical Model for the Analysis of Contour-Line Data
221 -- 235A. Orden, V. Nalbandian. A Bidirectional Simplex Algorithm
236 -- 251Donald W. Loveland. Mechanical Theorem-Proving by Model Elimination
252 -- 264Marshall C. Pease. An Adaptation of the Fast Fourier Transform for Parallel Processing
265 -- 271Frank J. Zeleznik. Quasi-Newton Methods for Nonlinear Equations
272 -- 274Gerald L. Morris, Patrick L. Odell. Common Solutions for n Matrix Equations With Applications
275 -- 299Oliver Aberth. Analysis in the Computable Number Field
300 -- 303Marcel Paul Schützenberger. A Remark on Acceptable Sets of Numbers
304 -- 316Raymond T. Yeh. Generalized Pair Algebra With Applications to Automata Theory
317 -- 324John E. Hopcroft, Jeffrey D. Ullman. Decidable and Undecidable Questions About Automata
325 -- 339Juris Hartmanis. Computational Complexity of One-Tape Turing Machine Computations
340 -- 0Abraham Waksman. Corrigendum: A Permutation Network

Volume 15, Issue 1

1 -- 7Maurice V. Wilkes. Computers Then and Now
8 -- 36Gerard Salton, Michael Lesk. Computer Evaluation of Indexing and Text Processing
37 -- 74Niklaus Wirth. PL360, a Programming Language for the 360 Computers
75 -- 84Robert E. Echols, Leon Cooper. Solution of Integer Linear Programming Problems by Direct Search
85 -- 99James R. Slagle, Philip Bursky. Experiments With a Multipurpose, Theorem-Proving Heuristic Program
100 -- 114Otto Neall Strand, Ed. R. Westwater. Statistical Estimation of the Numerical Solution of a Fredholm Integral Equation of the First Kind
115 -- 123Harvey Dubner, Joseph Abate. Numerical Inversion of Laplace Transforms by Relating Them to the Finite Fourier Cosine Transform
124 -- 134Donald M. Kaplan. Some Completeness Results in the Mathematical Theory of Computation
135 -- 158Zamir Bavel. Structure and Transition-Preserving Functions of Finite Automata
159 -- 163Abraham Waksman. A Permutation Network