Optimality of the Fast Fourier transform.
On Axiomatizing Multivalued Dependencies in Relational Databases.
A Fast Selection Algorithm and the Problem of Optimum Distribution of Effort.
Speedup in Parallel Algorithms for Adaptive Quadrature.
Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems.
Estimating the Mean of a Correlated Binary Sequence with an Application to Discrete Event Simulation.
Control System Model for Critically Timed Sources.
Characterizing the Storage Process and Its Effect on the Update of Main Memory by Write Through.
Minimal and Optimal Computations of Recursive Programs.
Security in Databases: A Combinatorial Study.
Bounds on Storage for Consecutive Retrieval.
Time Bounded Random Access Machines with Parallel Processing.
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language.
Odd-Even Reduction for Banded Linear Equations.