Search ACM DL

Search Issue

enter search term and/or author name

**Some Binary Derivation Systems**

E. E. Sibert, D. Michie

Pages: 175-190

DOI: 10.1145/321812.321813

**A New Class of Automated Theorem-Proving Algorithms**

Ross A. Overbeek

Pages: 191-200

DOI: 10.1145/321812.321814

**The Parallel Evaluation of General Arithmetic Expressions**

Richard P. Brent

Pages: 201-206

DOI: 10.1145/321812.321815

**Further Results on the Problem of Finding Minimal Length Programs for Decision Tables**

David Pager

Pages: 207-212

DOI: 10.1145/321812.321816

**Grammar Schemata**

Armin Gabrielian, Seymour Ginsburg

Pages: 213-226

DOI: 10.1145/321812.321817

**A Modified List Technique Allowing Binary Search**

G. Berman, A. W. Collin

Pages: 227-232

DOI: 10.1145/321812.321818

**A Document Storage Method Based on Polarized Distance**

R. T. Chien, E. A. Mark

Pages: 233-245

DOI: 10.1145/321812.321819

**Efficient Storage and Retrieval by Content and Address of Static Files**

Peter Elias

Pages: 246-260

DOI: 10.1145/321812.321820

**Calculating the Eigenvectors of Diagonally Dominant Matrices**

M. M. Blevins, G. W. Stewart

Pages: 261-271

DOI: 10.1145/321812.321821

**The Solution of a Toeplitz Set of Linear Equations**

Shalhav Zohar

Pages: 272-276

DOI: 10.1145/321812.321822

**Computing Partitions with Applications to the Knapsack Problem**

Ellis Horowitz, Sartaj Sahni

Pages: 277-292

DOI: 10.1145/321812.321823

**Bernstein-Bézier Methods for the Computer-Aided Design of Free-Form Curves and Surfaces**

William J. Gordon, Richard F. Riesenfeld

Pages: 293-310

DOI: 10.1145/321812.321824

**Efficiency of Chebyshev Approximation on Finite Subsets**

Charles B. Dunham

Pages: 311-313

DOI: 10.1145/321812.321825

**Comments on a Paper by Gaver**

E. Balkovich, W. Chiu, L. Presser, R. Wood

Pages: 314-315

DOI: 10.1145/321812.321826

**Application of the Diffusion Approximation to Queueing Networks I: Equilibrium Queue Distributions**

Hisashi Kobayashi

Pages: 316-328

DOI: 10.1145/321812.321827

**Synthesis of a Feedback Queueing Discipline for Computer Operation**

J. A. Michel, E. G. Coffman, Jr.

Pages: 329-339

DOI: 10.1145/321812.321828

**Priority Disciplines in a Loop System**

Steven Katz, Alan G. Konheim

Pages: 340-349

DOI: 10.1145/321812.321829

**Corrigendum: "Some Topics in Code Optimization"**

Christopher Earnest

Page: 350

DOI: 10.1145/321812.323471

**Erratum: `` A Local Visual Operator Which Recognizes Edges and Lines''**

Manfred H. Hueckel

Page: 350

DOI: 10.1145/321812.321830