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.
Author(s): Chiara Bodei, Mikael Buchholtz, Michele Curti (auth.), Victor Malyshkin (eds.)
Series: Lecture Notes in Computer Science 3606 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 472
Tags: Software Engineering/Programming and Operating Systems; Computer Systems Organization and Communication Networks; Algorithm Analysis and Problem Complexity; Simulation and Modeling
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 -
