Parallel Computing Technologies

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