This book contains collected lectures given at the 1990 ALCOM Spring School of Parallel Computation. The motivation for the school was to provide an introduction for graduate students to topics at the leading edge of research in this very active area of computer science. Topics covered include PRAM algorithmics, general purpose computation, systolic and distributed algorithms, distributed memory models, as well as issues from practical parallel computation. The papers by some of the leading figures in this field have been carefully edited to make a coherent and unique introduction to the...

Using parallel machines is difficult because of their inherent complexity and because their architecture changes frequently. This book presents an integrated approach to developing software for parallel machines that addresses software issues and performance issues together. The author describes a methodology for software construction that is architecture-independent and intellectually abstract. The software can execute efficiently on a range of existing and potential hardware configurations. The approach is based on the construction of categorical data types, a generalization of abstract...

Algorithms are a set of rules that specify a sequence of actions to be taken to solve a problem. Distributed algorithms, which are designed to solve many problems at once, are conceptually far more complex than algorithms in a single processing unit environment. When the number of simultaneous events becomes large, human minds cannot keep track of all of them. Naturally, it is necessary to know whether a distributed algorithm will have the desired effect. In this book, Dr. Schoone discusses assertational verification by system-wide invariants for use in verifying the behavior of distributed...