Rusty Lusk Papers
An Experimental Evaluation of the Parallel I/O Systems of the IBM SP and Intel Paragon Using a Production Application
I/O Characterization of a Portable Astrophysics Application on the IBM SP and Intel Paragon
The MPI Communication Library: Its Design and a Portable Implementation
Implementing MPI: the 1994 MPI Implementors' Workshop
MPI: A Message Passing Interface
Users' Guide to mpich, a Portable Implementation of MPI
MPE Graphics-Scalable X11 Graphics in MPI
Performance Analysis of MPI Programs
Visualizing Parallel Program Behavior
Scalable Unix Tools on Massively Parallel Processors
Monitors, Messages, and Clusters: the p4 Parallel Programming System
Implementing Linda Multiple Parallel Models
Performance Visualization for Parallel Programs
Scalable Unix Tools on Parallel Processors
Early Experiences with the IBM SP1 at Argonne National Laboratory
The Evolution of Databases in Prolog
Parallel Program Execution Visualization with ATRACE
Combinatorial Results Relating to Products of Idempotents in Finite Full Transformation Semigroups
A Sequential Theorem Proving Algorithm without Deletion
Performance Visualization (a white paper)
High-Performance Parallel Theorem Proving for Shared-Memory Multiprocessors
Controlling Redundancy in Large Search paces: Argonne-Style Theorem Proving Through the Years
An Entry in the 1992 Overbeek Theorem-Proving Contest
Benchmark Problems in Which Equality Plays the Major Role