A Multiprogramming Queue.
On the Optimality of the Probability Ranking Scheme in Storage Applications.
An Example of Information and Computation Resource Trade-Off.
Bernoulli's Method with Implicit Shifting.
Ordinal Hierarchies and Naming Complexity Classes.
On Testing a Subroutine for the Numerical Integration of Ordinary Differential Equations.
Parallel Program Schemata and Maximal Parallelism II: Construction of Closures.
A Local Visual Operator Which Recognizes Edges and Lines.
The Exact Solution of Systems of Linear Equations with Polynomial Coefficients.
The Concept of Weak Substitution in Theorem-Proving.
Performance of Movable-Head Disk Storage Devices.