default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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 - Alex 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, Earl 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
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 2024-12-31 21:49 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:
