Scheduling for Minimum Total Loss Using Service Time Distributions.
An Implementation of the Model Elimination Proof Procedure.
Some a Posteriori Error Bounds in Floating-Point Computations.
Simulating Stable Stochastic Systems, I: General Multiserver Queues.
A Theorem in the Theory of Compromise Merge Methods.
The String-to-String Correction Problem.
Processing Times for Segmented Jobs with I/O Compute Overlap.
Some Aspects of Hierarchical Memory Systems.
Some Distribution-Free Aspects of Paging Algorithm Performance.
Simulating Stable Stochastic Systems, II: Markov Chains.
On a Statistical Model of Strand and Westwater for the Numerical Solution of a Fredholm Integral Equation of the First Kind.
On the Number of Multiplications for the Evaluation of a Polynomial and Some of Its Derivatives.
Finding Optimal Demand Paging Algorithms.
Characterization and Theoretical Comparison of Branch-and-Bound Algorithms for Permutation Problems.
Some Topics in Code Optimization.