| Mapping Affine Loop Nests: Solving of the Alignment and Scheduling Problems | p. 1 |
| Situated Cellular Agents in Non-uniform Spaces | p. 10 |
| Accuracy and Stability of Spatial Dynamics Simulation by Cellular Automata Evolution | p. 20 |
| Resource Similarities in Petri Net Models of Distributed Systems | p. 35 |
| Authentication Primitives for Protocol Specifications | p. 49 |
| An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks | p. 66 |
| Parallel Computing for Globally Optimal Decision Making | p. 76 |
| Parallelization of Alternating Direction Implicit Methods for Three-Dimensional Domains | p. 89 |
| Interval Approach to Parallel Timed Systems Verification | p. 100 |
| An Approach to Assessment of Heterogeneous Parallel Algorithms | p. 117 |
| A Hierarchy of Conditions for Asynchronous Interactive Consistency | p. 130 |
| Associative Parallel Algorithms for Dynamic Edge Update of Minimum Spanning Trees | p. 141 |
| The Renaming Problem as an Introduction to Structures for Wait-Free Computing | p. 151 |
| Graph Partitioning in Scientific Simulations: Multilevel Schemes versus Space-Filling Curves | p. 165 |
| Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis | p. 180 |
| Optimization of the Communications between Processors in a General Parallel Computing Approach Using the Selected Data Technique | p. 185 |
| Load Imbalance in Parallel Programs | p. 197 |
| Software Carry-Save: A Case Study for Instruction-Level Parallelism | p. 207 |
| A Polymorphic Type System for Bulk Synchronous Parallel ML | p. 215 |
| Towards an Efficient Functional Implementation of the NAS Benchmark FT | p. 230 |
| Asynchronous Parallel Programming Language Based on the Microsoft .NET Platform | p. 236 |
| A Fast Pipelined Parallel Ray Casting Algorithm Using Advanced Space Leaping Method | p. 244 |
| Formal Modeling for a Real-Time Scheduler and Schedulability Analysis | p. 253 |
| Disk I/O Performance Forecast Using Basic Prediction Techniques for Grid Computing | p. 259 |
| Glosim: Global System Image for Cluster Computing | p. 270 |
| Exploiting Locality in Program Graphs | p. 276 |
| Asynchronous Timed Multimedia Environments Based on the Coordination Paradigm | p. 291 |
| Component-Based Development of Dynamic Workflow Systems Using the Coordination Paradigm | p. 304 |
| A Multi-threaded Asynchronous Language | p. 316 |
| An Efficient Marshaling Framework for Distributed Systems | p. 324 |
| Deciding Optimal Information Dispersal for Parallel Computing with Failures | p. 332 |
| Parallel Unsupervised k-Windows: An Efficient Parallel Clustering Algorithm | p. 336 |
| Analysis of Architecture and Design of Linear Algebra Kernels for Superscalar Processors | p. 345 |
| Numerical Simulation of Self-Organisation in Gravitationally Unstable Media on Supercomputers | p. 354 |
| Communication-Efficient Parallel Gaussian Elimination | p. 369 |
| Alternative Parallelization Strategies in EST Clustering | p. 384 |
| Protective Laminar Composites Design Optimisation Using Genetic Algorithm and Parallel Processing | p. 394 |
| A Prototype Grid System Using Java and RMI | p. 401 |
| Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons | p. 415 |
| An Extended ANSI C for Multimedia Processing | p. 429 |
| The Parallel Debugging Architecture in the Intel Debugger | p. 444 |
| Retargetable and Tuneable Code Generation for High Performance DSP | p. 452 |
| The Instruction Register File | p. 467 |
| A High Performance and Low Cost Cluster-Based E-mail System | p. 482 |
| The Presentation of Information in mpC Workshop Parallel Debugger | p. 497 |
| Grid-Based Parallel and Distributed Simulation Environment | p. 503 |
| Distributed Object-Oriented Web-Based Simulation | p. 509 |
| GEPARD - General Parallel Debugger for MVS-1000/M | p. 519 |
| Development of Distributed Simulation System | p. 524 |
| CMDE: A Channel Memory Based Dynamic Environment for Fault-Tolerant Message Passing Based on MPICH-V Architecture | p. 528 |
| DAxML: A Program for Distributed Computation of Phylogenetic Trees Based on Load Managed CORBA | p. 538 |
| D-SAB: A Sparse Matrix Benchmark Suite | p. 549 |
| DOVE-G: Design and Implementation of Distributed Object-Oriented Virtual Environment on Grid | p. 555 |
| Author Index | p. 569 |
| Table of Contents provided by Blackwell. All Rights Reserved. |