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

ISBN-13: 9783540281269 / Angielski / Miękka / 2005 / 472 str.

Malyshkin Victor

Opis

The PaCT 2005 (Parallel Computing Technologies) conference was a four-day conference held in Krasnoyarsk, September 5 9, 2005. This was the Eighth - ternational conference in the PaCT series. The conferences are held in R- sia every odd year. The ?rst conference, PaCT 91, was held in Novosibirsk (Academgorodok), September 7 11, 1991. The next PaCT conferences were held in Obninsk (near Moscow), August 30 September 4, 1993, in St. Pete- burg, September 12 15, 1995, in Yaroslavl, September, 9 12 1997, in Pushkin (near St. Petersburg) September, 6 10 1999, in Academgorodok (Novosibirsk), September 3 7, 2001, and in Nizhni Novgorod, September 15 19, 2003. The PaCT proceedings are published by Springer in the LNCS series. PaCT 2005 was jointly organized by the Institute of Computational Mat- maticsandMathematicalGeophysicsoftheRussianAcademyofSciences(RAS), theInstituteofComputationalModelingalsooftheRASandtheStateTechnical University of Krasnoyarsk. The purpose of the conference was to bring together scientists working on theory, architecture, software, hardwareand the solution of large-scaleproblems in order to provide integrated discussions on Parallel Computing Technologies. The conference attracted about 100 participants from around the world. - thorsfrom20countriessubmitted78papers.Ofthosesubmitted, 38paperswere selected for the conference as regular ones; there was also 1 invited paper. In addition there were a number of posters presented. All the papers were inter- tionally reviewed by at least three referees. The demo session was organized for the participants. PaCT 2007 is planned to be held in Irlutsk, near lake Baikal, in September as usual."

Spis treści

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.