Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Parallel Computing Technologies, PaCT 2005, held in Krasnoyarsk, Russia in September 2005.
The 38 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on theory, fine-grain parallelism, software, tools, and applications. A broad variety of parallel processing issues and distributed computing in general are addressed as well.

On Evaluating the Performance of Security Protocols.- Timed Equivalences for Timed Event Structures.- Similarity of Generalized Resources in Petri Nets.- Real-Time Event Structures and Scott Domains.- Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes.- Allowing Atomic Objects to Coexist with Sequentially Consistent Objects.- An Approach to the Implementation of the Dynamical Priorities Method.- Information Flow Analysis for VHDL.- Composing Fine-Grained Parallel Algorithms for Spatial Dynamics Simulation.- Situated Agents Interaction: Coordinated Change of State for Adjacent Agents.- Optimal Behavior of a Moving Creature in the Cellular Automata Model.- Systolic Routing in an Optical Butterfly.- Feasibility of the Circularly Connected Analog CNN Cell Array-Based Viterbi Decoder.- Associative Parallel Algorithm for Dynamic Reconstruction of a Minimum Spanning Tree After Deletion of a Vertex.- The Use of Vertical Processing Principle in Parallel Image Processing on Conventional MIMD Computers.- Parallel Implementation of Back-Propagation Neural Network Software on SMP Computers.- Development of Predictive TFRC with Neural Network.- Planning of Parallel Abstract Programs as Boolean Satisfiability.- Efficient Communication Scheduling Methods for Irregular Data Redistribution in Parallelizing Compilers.- Online Virtual Disk Migration with Performance Guarantees in a Shared Storage Environment.- ParC#: Parallel Computing with C# in .Net.- Minimizing Hotspot Delay by Fully Utilizing the Link Bandwidth on 2D Mesh with Virtual Cut-Through Switching.- A Shape Optimizing Load Distribution Heuristic for Parallel Adaptive FEM Computations.- Performance Analysis of Applying Replica Selection Technology for Data Grid Environments.- RAxML-OMP:An Efficient Program for Phylogenetic Inference on SMPs.- OpenTS: An Outline of Dynamic Parallelization Approach.- NumGrid Middleware: MPI Support for Computational Grids.- A Practical Tool for Detecting Races in OpenMP Programs.- Comprehensive Cache Inspection with Hardware Monitors.- A Fast Technique for Constructing Evolutionary Tree with the Application of Compact Sets.- XenoCluster: A Grid Computing Approach to Finding Ancient Evolutionary Genetic Anomalies.- A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons.- A Parallel Computational Code for the Education of Coherent Structures of Turbulence in Fluid Dynamics.- Experimenting with a Multi-agent E-Commerce Environment.- A Parallel Version for the Propagation Algorithm.- Parallelization Techniques for Multidimensional Hypercomplex Discrete Fourier Transform.- An Implementation of the Matrix Multiplication Algorithm SUMMA in mpF.- The Parallel Implementation of the Algorithm Solution of Model for Two-Phase Cluster in Liquids.- Neural Network Approach for Parallel Construction of Adaptive Meshes.- Clustering Multiple and Cooperative Instances of Computational Intensive Software Tools.- A Multigrid Parallel Program for Protoplanetary Disc Simulation.