Aloysius K. Mok, Fundamental Design Problems of Distributed
Systems for the Hard-Real-Time Environment, May 1983.
G. A. Boughton, Routing Networks for Packet Communication
Systems, August 1984.
James B. Saxe, Generalized Transformations on Algorithms:
Two Case Studies, August 1985 (Department of Computer Science,
Carnegie-Mellon University).
Peter W. Shor, Random Planar Matching and Bin Packing,
(MIT Mathematics Department), August 1985.
Thang Nguyen Bui, Graph Bisection Algorithms, January
1986.
Daniel Weise, Hierarchical, Multilevel Verification of
MOS/VLSI Circuits, August 1986.
Alan T. Sherman, Cryptology and VLSI, October 1986.
Mark R. Newman, Randomness and Robustness in Hypercube
Computation, September 1989.
Bonnie Berger, Using Randomness to Design Efficient
Deterministic Algorithms, May 1990.
Eric Schwabe, Theoretical Issues in Parallel Computation:
Hypercube-Related Architectures and Dynamic Structures, May 1991.
Joel Wein, Parallel Computation and Combinatorial Optimization:
Scheduling Algorithms for Parallel Machines and Parallel Algorithms for the
Assignment Problem, August 1991.
Filip Van Aelten, Automatic Procedures for the Behaviorial
Verification of Digital Designs, May 1991.
Clifford Stein, Approximation Algorithms for Multicommodity
Flow and Shop Scheduling, August 1992.
David Williamson, On the Design of Approximation Algorithms
for a Class of Graph Problems, September 1993.
Yuan Ma, Fault-Tolerant Sorting Networks, June 1994.
Feng Ming Dong, Compilation and Run-Time Environment of
Parallel Lisp on Distributed Systems, May 1995 (Department of
Information Systems and Computer Science, National University of
Singapore).
James Alexander Stuart Fiske, Thread Scheduling Mechanisms
for Multiple-Context Parallel Processors, May 1995.
Parry Husbands, Interactive Supercomputing, January
1999.
Rajeev Barua, Maps: A Compiler-Managed Memory System for
Software-Exposed Architectures, January 2000.
Russell Schwartz, The Local Rules Dynamics Model for
Self-Assembly Simulation, February 2000.
Sam Larsen, Exploiting Vector Parallelism in Software
Pipelined Loops, expected May 2006.
