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