Parallel Computing Technologies

The PaCT-2001 (Parallel Computing Technologies) conference was a four-day conference held in Akademgorodok (Novosibirsk), September 3 7, 2001. This was the sixth international conference in the PaCT series, organized in Russia 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.Petersburg, September 12 15, 1995; in Yaroslavl September 9 12, 1997; and in Pushkin (near St.Petersburg) from September 6 10, 1999. The PaCT proceedings are published by Springer- Verlag in the LNCS series. PaCT-2001 was jointly organized by the Institute of Computational Mat- maticsandMathematicalGeophysicsoftheRussianAcademyofSciences(No- sibirsk), the State University, and the State Technical University of Novosibirsk. The purpose of the conference was to bring together scientists working with theory, architecture, software, hardware, and solution of large-scale problems in order to provide integrated discussions on parallel computing technologies. The conference attracted about 100 participants from around the world. - thors from 17 countries submitted 81 papers. Of those submitted, 36 papers were selected for the conference as regular ones; there were also 4 invited - pers. In addition there were a number of posters presented. All the papers were internationally reviewed by at least three referees. As usual a demo session was organized for the participants.

Includes supplementary material: sn.pub/extras

Inhalt
Theory.- A Hybrid Approach to Reaction-Diffusion Processes Simulation.- Formal Verification of Coherence for a Shared Memory Multiprocessor Model.- Static Analysis for Secrecy and Non-interference in Networks of Processes.- Consensus in One Communication Step.- Design Space Exploration for Massively Parallel Processor Arrays.- GCA: Global Cellular Automata. A Flexible Parallel Model.- Cellular-Pipelined Algorithm Architecture for Polynomial Computing.- MetaPL: A Notation System for Parallel Program Description and Performance Analysis.- First-Order 2D Cellular Neural Networks Investigation and Learning.- Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles.- A Transaction Processing Model for the Mobile Data Access System.- Characterizing Timed Net Processes Categorically.- Mapping Heterogeneous Task Graphs onto Networks: Execution Time Optimization.- An O[n 3/z 3] Reduction Procedure for Determining the Maximum Degree of Parallelism in Parallel Applications.- Software and Architecture.- ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks.- Extension of Java Environment by Facilities Supporting Development of SPMD Java-Programs.- Mechanisms of Parallel Computing Organization for NeuroCluster.- Parallel SPMD-Tasks Graph Description Language for Network Clusters.- Optimizing Metacomputing with Communication-Computation Overlap.- WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility.- On Using SPiDER to Examine and Debug Real-World Data-Parallel Applications.- Experimental Version of Parallel Programs Translator from Petri Nets to C++.- Typing the ISA to Cluster the Processor.- Send-Recv Considered Harmful? Myths and Truths about Parallel Programming.- UNICORE: A Grid Computing Environment for Distributed and Parallel Computing.- Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element Method.- Concurrent Implementation of Structurally Synthesized Programs.- An Associative Version of the Bellman-Ford Algorithm for Finding the Shortest Paths in Directed Graphs.- Fusion of Concurrent Invocations of Exclusive Methods.- Computational Portal: Remote Access to High-Performance Computing.- Event Logic Programming.- Techniques for Increasing Performance of CORBA Parallel Distributed Applications.- Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System.- Communication Interface CoIn.- Design of a Tool for Providing Dynamic Network Information to an Application.- Compilation Principle of a Specification Language Dedicated to Signal Processing.- An Approach to Composing Parallel Programs.- Web-Based Parallel Simulation of AGVs Using Java and JINI.- Applications.- On the Parallelezation of Domain Decomposition Methods for 3-D Boundary Value Problems.- Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata.- Parallel Simulation of 3D Incompressible Flows and Performance Comparison for Several MPP and Cluster Platforms.- Distributed Simulation of Hybrid Systems with HLA Support.- Application of the Parallel Computing Technology to a Wave Front Model Using the Finite Element Method.- A General Parallel Computing Approach Using the Finite Element Method and the Objects Oriented Programming by Selected Data Technique.- Parallel Implementation of a Corrected DSMC Method.- Parallel Algorithms for Non-stationary Problems: Survey of New Generation of Explicit Schemes.- Tool Environments in CORBA-Based Medical High Performance Computing.- Parallel Algorithms for the Analysis of Biological Sequences.-Some Parallel Monte Carlo Algorithms.- Implementation of the Parallel Four Points Modified Explicit Group Iterative Algorithm on Shared Memory Parallel Computer.- A Parallel Expressed Sequence Tag (EST) Clustering Program.- Protein Sequence Comparison on the Instruction Systolic Array.- SCI-Based LINUX PC-Clusters as a Platform for Electromagnetic Field Calculations.