Gajski

Hypertool: a programming aid for message-passing systems

Solution of Partial Differential Equations on Vector and Parallel Computers

Linearizability: a correctness condition for concurrent objects

Synchronization, coherence, and event ordering in multiprocessors

Parallel Gaussian elimination on an MIMD computer

Iterative Methods for Sparse Linear Systems

Efficient synchronization of multiprocessors with shared memory

The interdisciplinary study of coordination

Performance-effective and low-complexity task scheduling for heterogeneous computing

An Algorithm for Solving Linear Recurrence Systems on Parallel and Pipelined Machines

Essential Issues in Multiprocessor Systems