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

Front Matter....Pages -
On Evaluating the Performance of Security Protocols....Pages 1-15
Timed Equivalences for Timed Event Structures....Pages 16-26
Similarity of Generalized Resources in Petri Nets....Pages 27-41
Real-Time Event Structures and Scott Domains....Pages 42-48
Early-Stopping k -Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes....Pages 49-58
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects....Pages 59-73
An Approach to the Implementation of the Dynamical Priorities Method....Pages 74-78
Information Flow Analysis for VHDL....Pages 79-98
Composing Fine-Grained Parallel Algorithms for Spatial Dynamics Simulation....Pages 99-113
Situated Agents Interaction: Coordinated Change of State for Adjacent Agents....Pages 114-128
Optimal Behavior of a Moving Creature in the Cellular Automata Model....Pages 129-140
Systolic Routing in an Optical Butterfly....Pages 141-150
Feasibility of the Circularly Connected Analog CNN Cell Array-Based Viterbi Decoder....Pages 151-158
Associative Parallel Algorithm for Dynamic Reconstruction of a Minimum Spanning Tree After Deletion of a Vertex....Pages 159-173
The Use of Vertical Processing Principle in Parallel Image Processing on Conventional MIMD Computers....Pages 174-185
Parallel Implementation of Back-Propagation Neural Network Software on SMP Computers....Pages 186-192
Development of Predictive TFRC with Neural Network....Pages 193-205
Planning of Parallel Abstract Programs as Boolean Satisfiability....Pages 206-215
Efficient Communication Scheduling Methods for Irregular Data Redistribution in Parallelizing Compilers....Pages 216-225
Online Virtual Disk Migration with Performance Guarantees in a Shared Storage Environment....Pages 226-238
ParC#: Parallel Computing with C# in .Net....Pages 239-248
Minimizing Hotspot Delay by Fully Utilizing the Link Bandwidth on 2D Mesh with Virtual Cut-Through Switching....Pages 249-262
A Shape Optimizing Load Distribution Heuristic for Parallel Adaptive FEM Computations....Pages 263-277
Performance Analysis of Applying Replica Selection Technology for Data Grid Environments....Pages 278-287
RAxML-OMP: An Efficient Program for Phylogenetic Inference on SMPs....Pages 288-302
OpenTS: An Outline of Dynamic Parallelization Approach....Pages 303-312
NumGrid Middleware: MPI Support for Computational Grids....Pages 313-320
A Practical Tool for Detecting Races in OpenMP Programs....Pages 321-330
Comprehensive Cache Inspection with Hardware Monitors....Pages 331-345
A Fast Technique for Constructing Evolutionary Tree with the Application of Compact Sets....Pages 346-354
XenoCluster: A Grid Computing Approach to Finding Ancient Evolutionary Genetic Anomalies....Pages 355-366
A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons....Pages 367-380
A Parallel Computational Code for the Education of Coherent Structures of Turbulence in Fluid Dynamics....Pages 381-392
Experimenting with a Multi-agent E-Commerce Environment....Pages 393-402
A Parallel Version for the Propagation Algorithm....Pages 403-412
Parallelization Techniques for Multidimensional Hypercomplex Discrete Fourier Transform....Pages 413-419
An Implementation of the Matrix Multiplication Algorithm SUMMA in mpF....Pages 420-432
The Parallel Implementation of the Algorithm Solution of Model for Two-Phase Cluster in Liquids....Pages 433-445
Neural Network Approach for Parallel Construction of Adaptive Meshes....Pages 446-451
Clustering Multiple and Cooperative Instances of Computational Intensive Software Tools....Pages 452-456
A Multigrid Parallel Program for Protoplanetary Disc Simulation....Pages 457-467
Back Matter....Pages -