Books in the Cambridge International Series on Parallel Computation series

'Design by programming' has proved very successful in the development of complex software systems. Dr van Berkel describes the construction of programs for VLSI digital circuit design. He illustrates the theory with a host of examples drawn from a wide range of application areas. The book will be of use to electrical engineers and computer scientists involved in VLSI design.

This book presents a collection of protocols used in distributed computing and distributed system implementation. The application areas include data communication, routing, and database management, making the book valuable for professional engineers and computer scientists working with parallel and distributed computer systems.

The foundations of parallel computation are the concern of this book. Distinguished international researchers have contributed fifteen chapters which together form a coherent stream taking the reader who has little prior knowledge of the field to a position of being familiar with leading edge issues. The book may also function as a source of teaching material or reference for researchers.

This is the first comprehensive account of this new approach to the fundamentals of parallel programming. It presents a methodology for software construction that produces architecture-independent and intellectually abstract software.

In 1989, Michael Rabin proposed a fundamentally new approach to the problems of fault-tolerant routing and memory management in parallel computation, based on the idea of information dispersal. Yuh-Dauh Lyuu develops this idea in a number of new and exciting ways in this extended and updated printing of his PhD thesis.

This is a survey of the basic techniques for approximating combinatorial problems using parallel algorithms. Its core is a collection of techniques that can be used to provide parallel approximations for a wide range of problems. This is an up-to-date reference for graduate students and researchers in algorithmics.

This 1991 book discusses the general case of how to use processors simultaneously in order to solve a single problem rather than any specific application, and develops a theory independent of particular architectures. It is intended to be a fundamental treatment of the relevant subjects and is aimed at computer scientists and graduate students.