Search ACM DL

Search Issue

enter search term and/or author name

**Upper Bounds for the Total Path Length of Binary Trees**

C. K. Wong, J. Nievergelt

Pages: 1-6

DOI: 10.1145/321738.321739

Harry M. Sloate, Theodore A. Bickart

Pages: 7-26

DOI: 10.1145/321738.321740

**An Efficient Parallel Algorithm for the Solution of a Tridiagonal Linear System of Equations**

Harold S. Stone

Pages: 27-38

DOI: 10.1145/321738.321741

**A Combinatorial Problem Related to Interleaved Memory Systems**

G. J. Burnett, E. G. Coffman, Jr.

Pages: 39-45

DOI: 10.1145/321738.321742

**Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment**

C. L. Liu, James W. Layland

Pages: 46-61

DOI: 10.1145/321738.321743

**Mathematical Models for Automatic Line Detection**

Arnold K. Griffith

Pages: 62-80

DOI: 10.1145/321738.321744

**Arcs and Curves in Digital Pictures**

Azriel Rosenfeld

Pages: 81-87

DOI: 10.1145/321738.321745

**Efficient Exercising of Switching Elements in Nets of Identical Gates**

Donald L. Richards

Pages: 88-111

DOI: 10.1145/321738.321746

**The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results**

Robert A. Di Paola

Pages: 112-126

DOI: 10.1145/321738.321747

**Z-Resolution: Theorem-Proving with Compiled Axioms**

John K. Dixon

Pages: 127-147

DOI: 10.1145/321738.321748

**A Class of Merging Algorithms**

F. K. Hwang, D. N. Deutsch

Pages: 148-159

DOI: 10.1145/321738.321749

**Tree-Manipulating Systems and Church-Rosser Theorems**

Barry K. Rosen

Pages: 160-187

DOI: 10.1145/321738.321750

**Errata: “An axiomatic approach to code optimization for Expressions”**

James C. Beatty

Page: 188

DOI: 10.1145/321738.321751