Journal of the ACM
, Volume 15, 1968
Volume 15, Number 1, January 1968
Maurice V. Wilkes
:
Computers Then and Now.
1-7
Electronic Edition
(
ACM DL
)
BibTeX
Gerard Salton
,
Michael Lesk
:
Computer Evaluation of Indexing and Text Processing.
8-36
Electronic Edition
BibTeX
Niklaus Wirth
:
PL360, a Programming Language for the 360 Computers.
37-74
Electronic Edition
BibTeX
Robert E. Echols
,
Leon Cooper
:
Solution of Integer Linear Programming Problems by Direct Search.
75-84
Electronic Edition
(
ACM DL
)
BibTeX
James R. Slagle
,
Philip Bursky
:
Experiments With a Multipurpose, Theorem-Proving Heuristic Program.
85-99
Electronic Edition
(
ACM DL
)
BibTeX
Otto Neall Strand
,
Ed. R. Westwater
:
Statistical Estimation of the Numerical Solution of a Fredholm Integral Equation of the First Kind.
100-114
Electronic Edition
(
ACM DL
)
BibTeX
Harvey Dubner
,
Joseph Abate
:
Numerical Inversion of Laplace Transforms by Relating Them to the Finite Fourier Cosine Transform.
115-123
Electronic Edition
(
ACM DL
)
BibTeX
Donald M. Kaplan
:
Some Completeness Results in the Mathematical Theory of Computation.
124-134
Electronic Edition
(
ACM DL
)
BibTeX
Zamir Bavel
:
Structure and Transition-Preserving Functions of Finite Automata.
135-158
Electronic Edition
(
ACM DL
)
BibTeX
Abraham Waksman
:
A Permutation Network.
159-163
Electronic Edition
(
ACM DL
)
BibTeX
Volume 15, Number 2, April 1968
Jack Sklansky
,
M. Finkelstein
:
A Formalism for Program Translation.
165-175
Electronic Edition
(
ACM DL
)
BibTeX
P. A. Gilmore
:
Structuring of Parallel Algorithms.
176-192
Electronic Edition
(
ACM DL
)
BibTeX
B. Kubert
,
J. Szabo
,
S. Giulieri
:
The Perspective Representation of Functions of Two Variables.
193-204
Electronic Edition
(
ACM DL
)
BibTeX
Stephen P. Morse
:
A Mathematical Model for the Analysis of Contour-Line Data.
205-220
Electronic Edition
(
ACM DL
)
BibTeX
A. Orden
,
V. Nalbandian
:
A Bidirectional Simplex Algorithm.
221-235
Electronic Edition
(
ACM DL
)
BibTeX
Donald W. Loveland
:
Mechanical Theorem-Proving by Model Elimination.
236-251
Electronic Edition
(
ACM DL
)
BibTeX
Marshall C. Pease
:
An Adaptation of the Fast Fourier Transform for Parallel Processing.
252-264
Electronic Edition
(
ACM DL
)
BibTeX
Frank J. Zeleznik
:
Quasi-Newton Methods for Nonlinear Equations.
265-271
Electronic Edition
(
ACM DL
)
BibTeX
Gerald L. Morris
,
Patrick L. Odell
:
Common Solutions for n Matrix Equations With Applications.
272-274
Electronic Edition
(
ACM DL
)
BibTeX
Oliver Aberth
:
Analysis in the Computable Number Field.
275-299
Electronic Edition
(
ACM DL
)
BibTeX
Marcel Paul Schützenberger
:
A Remark on Acceptable Sets of Numbers.
300-303
Electronic Edition
(
ACM DL
)
BibTeX
Raymond T. Yeh
:
Generalized Pair Algebra With Applications to Automata Theory.
304-316
Electronic Edition
(
ACM DL
)
BibTeX
John E. Hopcroft
,
Jeffrey D. Ullman
:
Decidable and Undecidable Questions About Automata.
317-324
Electronic Edition
(
ACM DL
)
BibTeX
Juris Hartmanis
:
Computational Complexity of One-Tape Turing Machine Computations.
325-339
Electronic Edition
(
ACM DL
)
BibTeX
Abraham Waksman
:
Corrigendum: ``A Permutation Network''.
340
Electronic Edition
(
ACM DL
)
BibTeX
Volume 15, Number 3, July 1968
Edward G. Coffman Jr.
:
Analysis of Two Time-Sharing Algorithms Designed for Limited Swapping.
341-353
Electronic Edition
(
ACM DL
)
BibTeX
Paul G. Comba
:
A Procedure for Detecting Intersections of Three-Dimensional Objects.
354-366
Electronic Edition
(
ACM DL
)
BibTeX
Peter B. Andrews
:
Resolution With Merging.
367-381
Electronic Edition
(
ACM DL
)
BibTeX
Juris Hartmanis
,
H. Shank
:
On the Recognition of Primes by Automata.
382-389
Electronic Edition
(
ACM DL
)
BibTeX
John J. Kohfeld
,
Gene Thomas Thompson
:
A Modification of Nordsieck's Method Using an ``Off-Step'' Point.
390-401
Electronic Edition
(
ACM DL
)
BibTeX
Gerhard Zielke
:
Inversion of Modified Symmetric Matrices.
402-408
Electronic Edition
(
ACM DL
)
BibTeX
Timothy V. Griffiths
:
The Unsolvability of the Equivalence Problem for Lambda-Free Nondeterministic Generalized Machines.
409-413
Electronic Edition
(
ACM DL
)
BibTeX
John E. Hopcroft
,
Jeffrey D. Ullman
:
Relations Between Time and Tape Complexities.
414-427
Electronic Edition
(
ACM DL
)
BibTeX
Seymour Ginsburg
,
Michael A. Harrison
:
One-way nondeterministic real-time list-storage languages.
428-446
Electronic Edition
(
ACM DL
)
BibTeX
Bruce A. Chartres
,
J. J. Florentin
:
A Universal Syntax-Directed Top-Down Analyzer.
447-464
Electronic Edition
(
ACM DL
)
BibTeX
Philip M. Lewis II
,
Richard Edwin Stearns
:
Syntax-Directed Transduction.
465-488
Electronic Edition
(
ACM DL
)
BibTeX
Niklaus Wirth
:
Corrigendum: ``PL360, a Programming Language for the 360 Computers''.
489
Electronic Edition
(
ACM DL
)
BibTeX
Volume 15, Number 4, October 1968
C. C. Gotlieb
,
S. Kumar
:
Semantic Clustering of Index Terms.
493-513
Electronic Edition
BibTeX
Donald R. Morrison
:
PATRICIA - Practical Algorithm To Retrieve Information Coded in Alphanumeric.
514-534
Electronic Edition
BibTeX
Thomas C. Lowe
:
The Influence of Data Base Characteristics and Usage on Direct Access File Organization.
535-548
Electronic Edition
BibTeX
Edward G. Coffman Jr.
,
Leonard Kleinrock
:
Feedback Queueing Models for Time-Shared Systems.
549-576
Electronic Edition
(
ACM DL
)
BibTeX
Joseph Abate
,
Harvey Dubner
,
Sheldon B. Weinberg
:
Queueing Analysis of the IBM 2314 Disk Storage Facility.
577-589
Electronic Edition
BibTeX
Raymond Reiter
:
Scheduling Parallel Computations.
590-599
Electronic Edition
(
ACM DL
)
BibTeX
Ugo Montanari
:
A Method for Obtaining Skeletons Using a Quasi-Euclidean Distance.
600-624
Electronic Edition
(
ACM DL
)
BibTeX
J. Ross Quinlan
,
E. B. Hunt
:
A Formal Deductive Problem-Solving System.
625-646
Electronic Edition
(
ACM DL
)
BibTeX
Alfred V. Aho
:
Indexed Grammars - An Extension of Context-Free Grammars.
647-671
Electronic Edition
BibTeX
Arnold L. Rosenberg
:
On the Independence of Real-Time Definability and Certain Structural Properties of Context-Free Languages.
672-679
Electronic Edition
(
ACM DL
)
BibTeX
Dennis F. Cudia
,
Wilson E. Singletary
:
Degrees of Unsolvability in Formal Grammars.
680-692
Electronic Edition
(
ACM DL
)
BibTeX
Amar Mukhopadhyay
:
Representation of Events in the von Neumann Cellular Model.
693-705
Electronic Edition
(
ACM DL
)
BibTeX
Abbas I. Abdel Karim
:
A Theorem for the Stability of General Predictor-Corrector Methods for the Solution of Systems of Differential Equations.
706-711
Electronic Edition
(
ACM DL
)
BibTeX
James Dyer
:
Generalized Multistep Methods in Satellite Orbit Computation.
712-719
Electronic Edition
(
ACM DL
)
BibTeX
Peter B. Andrews
:
A Correction Concerning Resolution.
720
Electronic Edition
(
ACM DL
)
BibTeX
Copyright ©
Sun May 17 00:05:18 2009 by
Michael Ley
(
ley@uni-trier.de
)