Promotional Information

Springer Book Archives

Table of Contents

Theory.- Mapping Affine Loop Nests: Solving of the Alignment and Scheduling Problems.- Situated Cellular Agents in Non-uniform Spaces.- Accuracy and Stability of Spatial Dynamics Simulation by Cellular Automata Evolution.- Resource Similarities in Petri Net Models of Distributed Systems.- Authentication Primitives for Protocol Specifications.- An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks.- Parallel Computing for Globally Optimal Decision Making.- Parallelization of Alternating Direction Implicit Methods for Three-Dimensional Domains.- Interval Approach to Parallel Timed Systems Verification.- An Approach to Assessment of Heterogeneous Parallel Algorithms.- A Hierarchy of Conditions for Asynchronous Interactive Consistency.- Associative Parallel Algorithms for Dynamic Edge Update of Minimum Spanning Trees.- The Renaming Problem as an Introduction to Structures for Wait-Free Computing.- Graph Partitioning in Scientific Simulations: Multilevel Schemes versus Space-Filling Curves.- Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis.- Software.- Optimization of the Communications between Processors in a General Parallel Computing Approach Using the Selected Data Technique.- Load Imbalance in Parallel Programs.- Software Carry-Save: A Case Study for Instruction-Level Parallelism.- A Polymorphic Type System for Bulk Synchronous Parallel ML.- Towards an Efficient Functional Implementation of the NAS Benchmark FT.- Asynchronous Parallel Programming Language Based on the Microsoft .NET Platform.- A Fast Pipelined Parallel Ray Casting Algorithm Using Advanced Space Leaping Method.- Formal Modeling for a Real-Time Scheduler and Schedulability Analysis.- Disk I/O Performance Forecast Using Basic Prediction Techniques for Grid Computing.- Glosim: Global System Image for Cluster Computing.- Exploiting Locality in Program Graphs.- Asynchronous Timed Multimedia Environments Based on the Coordination Paradigm.- Component-Based Development of Dynamic Workflow Systems Using the Coordination Paradigm.- A Multi-threaded Asynchronous Language.- An Efficient Marshaling Framework for Distributed Systems.- Deciding Optimal Information Dispersal for Parallel Computing with Failures.- Parallel Unsupervised k-Windows: An Efficient Parallel Clustering Algorithm.- Applications.- Analysis of Architecture and Design of Linear Algebra Kernels for Superscalar Processors.- Numerical Simulation of Self-Organisation in Gravitationally Unstable Media on Supercomputers.- Communication-Efficient Parallel Gaussian Elimination.- Alternative Parallelization Strategies in EST Clustering.- Protective Laminar Composites Design Optimisation Using Genetic Algorithm and Parallel Processing.- Tools.- A Prototype Grid System Using Java and RMI.- Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons.- An Extended ANSI C for Multimedia Processing.- The Parallel Debugging Architecture in the Intel® Debugger.- Retargetable and Tuneable Code Generation for High Performance DSP.- The Instruction Register File.- A High Performance and Low Cost Cluster-Based E-mail System.- The Presentation of Information in mpC Workshop Parallel Debugger.- Grid-Based Parallel and Distributed Simulation Environment.- Distributed Object-Oriented Web-Based Simulation.- GEPARD – General Parallel Debugger for MVS-1000/M.- Development of Distributed Simulation System.- CMDE: A Channel Memory Based Dynamic Environment for Fault-Tolerant Message Passing Based on MPICH-VArchitecture.- DAxML: A Program for Distributed Computation of Phylogenetic Trees Based on Load Managed CORBA.- D-SAB: A Sparse Matrix Benchmark Suite.- DOVE-G: Design and Implementation of Distributed Object-Oriented Virtual Environment on Grid.