Parallel Computing Technologies : 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999 Proceedings

PaCT-99 (Parallel Computing Technologies) was a four-day conference held in St. Petersburg on 6–10 September 1999. This represented the ?fth inter- tional conference in PaCT series, which take place in Russia every odd year. The ?rst, PaCT-91, was held in Novosibirsk (Academgorodok), 7–11 September, 1991. The second PaCT-93 was held in Obninsk (near Moscow), 30 August – 4 September, 1993. The third, PaCT-95, was organized in St.Petersburg, 12– 15 September, 1995 and the last fourth PaCT-97 was held in Yaroslavl 9-12 September, 1997. PaCT-99 was jointly organized by the Institute of Computational Mathem- ics and Mathematical Geophysics of the Russian Academy of Sciences (Novo- birsk) and by the Electrotechnical University of St.Petersburg. The purpose of the conference was to bring together scientists working with theory, archit- ture, software, hardware and solution of large-scale problems in order to provide integrated discussions on Parallel Computing Technologies. The Conference attracted more than 100 participants from around the world. Authors from over 23 countries submitted 103 papers and there were 2 invited papers. Of those submitted, 47 papers were selected for the conference; in ad- tion there were a number of posters presented. All the papers were internationally reviewed by at least three referees.

Theory.- Analytical Modeling of Parallel Applications in Heterogeneous Computing Environments: A Study of Cholesky Factorization.- Skeletons and Transformations in an Integrated Parallel Programming Environment*.- Sequential Unification and Aggressive Lookahead Mechanisms for Data Memory Accesses.- A Coordination Model and Facilities for Efficient Parallel Computation.- Parallelizing of Sequential Programs on the Basis of Pipeline and Speculative Features of the Operators*.- Kinetic Model of Parallel Data Processing.- PSA Approach to Population Models for Parallel Genetic Algorithms.- Highly Accurate Numerical Methods for Incompressible 3D Fluid Flows on Parallel Architectures.- Dynamic Task Scheduling with Precedence Constraints and Communication Delays.- Two-Dimensional Scheduling of Algorithms with Uniform Dependencies.- Consistent Lamport Clocks for Asynchronous Groups with Process Crashes.- Comparative Analysis of Learning Methods of Cellular-Neural Associative Memory.- Emergence and Propagation of Round Autowave in Cellular Neural Network.- Parametric Behaviour Analysis for Time Petri Nets*.- A Blackboard Approach for the Automatic Optimization of Parallel I/O Operations.- Routing and Embeddings in Super Cayley Graphs.- Software.- Implementing Cellular Automata Based Models on Parallel Architectures: The CAPP Project.- Methods for Achieving Peak Computational Rates for Linear Algebra Operations on Superscalar RISC Processors.- The Parallel Mathematical Libraries Project (PMLP): Overview, Design Innovations, and Preliminary Results.- Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool.- Learning Concurrent Programming: A Constructionist Approach.- The Speedup Performance of an Associative Memory Based Logic Simulator.- A High-Level Programming Environment for Distributed Memory Architectures.- Virtual Shared Files: Towards User-Friendly Inter-Process Communications.- An Object Oriented Environment to Manage the Parallelism of the FIIT Applications.- Performance Studies of Shared-Nothing Parallel Transaction Processing Systems.- Synergetic Tool Environments*.- Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines.- Three Complementary Approaches to Parallelization of Local BLAST Service on Workstation Clusters.- An Implementation of the Lifecycle Service Object Mobility on CORBA.- SKiPPER: A Skeleton-Based Parallel Programming Environment for Real-Time Image Processing Applications.- A Queuing Model of a Multi-threaded Architecture: A Case Study.- BSP Performance Analysis and Prediction: Tools and Application.- Message Passing vs Tuple Space Coordination in an Aerodynamics Application*.- Architecture.- Two Examples of Distributed Architecture for Solving Combinatorial Optimization Problems.- Performance of the NAS Benchmarks on a Cluster of SMP PCs Using a Parallelization of the MPI Programs with OpenMP.- COOL Approach to Petaflops Computing.- Hardware and Software Optimizations for Multimedia Databases.- Cellular Recursive Algorithm Architecture for Long Integers Multiplication in Arrays of Restricted Size.- Applications.- A Parallel Model Based on Cellular Automata for the Simulation of Pesticide Percolation in the Soil*.- Comparative Study of Cellular-Automata Diffusion Models.- Creating and Running Mobile Agents with XJ DOME.- Parallelization and Integration of the LU and ILU Algorithm in the LINSOL Program Package.- CDL++ for the Description of Moving Objects in Cellular Automata.- Parallel Solution of Large Sparse SPD Linear Systems Based on Overlapping Domain Decomposition.- Restructuring Parallel Programs for On-the-Fly Race Detection*.- Solving Initial Value Problems with a Multiprocessor Code.- Parallel Implementation of Constraint Solving*.- Posters.- Experiences on Parallelization of Divide and Conquer Algorithms with Parallel Paradigms*.- Differentiating Message Passing Interface and Bulk Synchronous Parallel Computation Models.- Realization of Complex Arithmetic on Cellular Automata.- Parallel Programming System Based on Super Pascal Language.- Group-Theoretic Methods for Parallel Computation of Convolution.- Knowledge Exploitation for Improved Data Distribution.- An Expert System Approach to Data Distribution and Distribution Analysis.- Automated Communication Analysis and Code Generation for Non-contiguous Partitions of Two-Dimensional Arrays.- Tool.- WinALT, a Software Tool for Fine-Grain Algorithms and Structures Synthesis and Simulation.- DEALed — A Tool Suite for Distributed Real-Time Systems Development.- PLATINUM: A Placement Tool Based on Process Initiative.