Submissions from 2007
Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant, Robert M. Keller, Martin Hunt '08, Stephen Jones '07, David Morrison '08, and Aaron Wolin '07
Submissions from 2005
Grid-Enabling a Vibroacoustic Analysis Application, Brian Bentow, Jon Dodge, Aaron Homer, Christopher D. Moore, Robert M. Keller, Matthew T. Presley, Robert Davis, Jorge Seidel, Craig Lee, and Joseph Betser
Fun and Games: A New Software Engineering Course, Elizabeth Sweedyk and Robert M. Keller
Submissions from 2004
Estimating Scale Up Cost Factors for Commercial Jet Planes, Christopher P. Holcomb and Donald S. Remer
Submissions from 2003
Enabling Computer Decisions Based on EEG Input, Benjamin J. Culpepper and Robert M. Keller
Submissions from 1989
Semantics and Implementation of Resource Expressions, Robert M. Keller and Bharat Jayaraman
Submissions from 1987
Overview of Rediflow II Development, Robert M. Keller, Jon W. Slater, and Kevin T. Likes
The Gradient Model Load Balancing Method, Frank C. H. Lin and Robert M. Keller
Submissions from 1986
Primitives for Resource Management in a Demand-Driven Reduction Model, Bharat Jayaraman and Robert M. Keller
Semantics of Digital Networks Containing Indeterminate Modules, Robert M. Keller and Prakash Panangaden
Applicative Caching, Robert M. Keller and M Ronan Sleep
Distributed Recovery in Applicative Systems, Frank C. H. Lin and Robert M. Keller
Submissions from 1985
Distributed Computation by Graph Reduction, Robert M. Keller
Approaching Distributed Database Implementations Through Functional Programming Concepts, Robert M. Keller and Gary Lindstrom
Submissions from 1984
Consistency Testing for Data-Flow Circuits, Chu S. Jhon and Robert M. Keller
Simulated Performance of a Reduction-Based Multiprocessing System, Robert M. Keller and Frank C. H. Lin
Static Inference of Properties of Applicative Programs, Prateek Mishra and Robert M. Keller
Submissions from 1983
Specification of Synchronizing Processes, Krithivasan Ramamritham and Robert M. Keller
Submissions from 1982
Data Flow Program Graphs, Alan L. Davis and Robert M. Keller
Submissions from 1981
On Synchronization and Its Specification, Krithivasan Ramamritham and Robert M. Keller
Specifying and Proving Properties of Sentinels, Krithivasan Ramamritham and Robert M. Keller
Submissions from 1980
Some Theoretical Aspects of Applicative Multiprocessing, Robert M. Keller
Submissions from 1976
Formal Verification of Parallel Programs, Robert M. Keller
Submissions from 1975
A Fundamental Theorem of Asynchronous Parallel Computation, Robert M. Keller
Look-Ahead Processors, Robert M. Keller
Submissions from 1973
Some Approaches to Best-Match File Searching, Walter A. Burkhard and Robert M. Keller
Parallel Program Schemata and Maximal Parallelism I. Fundamental Results, Robert M. Keller
Parallel Program Schemata and Maximal Parallelism I. Fundamental Results, Robert M. Keller
Parallel Program Schemata and Maximal Parallelism II: Construction of Closures, Robert M. Keller
Parallel Program Schemata and Maximal Parallelism II: Construction of Closures, Robert M. Keller
A Novel Method of Constructing Sorting Networks, Robert M. Keller
Submissions from 1972
On the Decomposition of Asynchronous Systems, Robert M. Keller
Submissions from 1970
On Maximally Parallel Schemata, Robert M. Keller