Journal of the ACM, Volume 15, 1968

Volume 15, Number 1, January 1968

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

Volume 15, Number 2, April 1968

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

Volume 15, Number 3, July 1968

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

Volume 15, Number 4, October 1968

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

Last update Thu May 23 19:03:28 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page