| Foreword | |
| Preface | |
| Acknowledgments | |
| List of contributors | |
| Parallel and Distributed Computing: The Scene, the Props, the Players | p. 5 |
| Semantics of Concurrent Programming | p. 24 |
| Formal Methods: A Petri Nets Based Approach | p. 59 |
| Complexity Issues in Parallel and Distributed Computing | p. 89 |
| Distributed Computing Theory | p. 127 |
| Pram Models | p. 163 |
| Broadcasting with Selective Reduction: A Powerful Model of Parallel Computation | p. 192 |
| Dataflow Models | p. 223 |
| Partitioning and Scheduling | p. 239 |
| Checkpointing in Parallel and Distributed Systems | p. 274 |
| Architecture for Open Distributed Software Systems | p. 303 |
| Fundamentals of Parallel Algorithms | p. 333 |
| Parallel Graph Algorithms | p. 355 |
| Parallel Computational Geometry | p. 404 |
| Data Structures for Parallel Processing | p. 429 |
| Data Parallel Algorithms | p. 466 |
| Systolic and VLSI Processor Arrays for Matrix Algorithms | p. 500 |
| Direct Interconnection Networks | p. 537 |
| Parallel and Communication Algorithms on Hypercube Multiprocessors | p. 568 |
| RISC Architectures | p. 595 |
| Superscalar and VLIW Processors | p. 621 |
| SIMD-Processing: Concepts and Systems | p. 649 |
| MIMD Architectures: Shared and Distributed Memory Designs | p. 680 |
| Memory Models | p. 699 |
| Heterogeneous Computing | p. 725 |
| Cluster Computing | p. 762 |
| Massively Parallel Processing with Optical Interconnections | p. 780 |
| ATM-Based Parallel and Distributed Computing | p. 811 |
| Parallel Languages | p. 843 |
| Tools for Portable High-Performance Parallel Computing | p. 865 |
| Visualization of Parallel and Distributed Systems | p. 897 |
| Constructing Numerical Software Libraries for High-Performance Computer Environments | p. 917 |
| Testing of Distributed Programs | p. 955 |
| Scientific Computation | p. 981 |
| Parallel and Distributed Simulation of Discrete Event Systems | p. 1003 |
| Parallelism for Image Understanding | p. 1042 |
| Parallel Computation in Biomedicine: Genetic and Protein Sequence Analysis | p. 1071 |
| Parallel Algorithms for Solving Stochastic Linear Programs | p. 1097 |
| Parallel Genetic Algorithms | p. 1118 |
| Parallel Processing for Robotic Computations: A Review | p. 1144 |
| Distributed Flight Simulation: A Challenge for Software Architecture | p. 1160 |
| Index | p. 1179 |
| Table of Contents provided by Blackwell. All Rights Reserved. |