Parallel Computing Technologies: 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999 Proceedings (Lecture Notes in Computer Science, 1662)

This book constitutes the refereed proceedings of the 5th International Congress on Parallel Computing Technologies, PaCT-99, held in St. Petersburg, Russia in September 1999. The 47 revised papers presented were carefully reviewed and selected from more than 100 submissions. The papers address all current issues in parallel processing ranging from theory, algorithms, programming, and software to implementation, architectures, hardware, and applications. 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. Victor Malyshkin (ed.) Includes Bibliographical References And Index Analytical Modeling of Parallel Applications in Heterogeneous Computing Environments: A Study of Cholesky Factorization....Pages 1-12 Skeletons and Transformations in an Integrated Parallel Programming Environment * ....Pages 13-27 Sequential Unification and Aggressive Lookahead Mechanisms for Data Memory Accesses....Pages 28-41 A Coordination Model and Facilities for Efficient Parallel Computation....Pages 42-47 Parallelizing of Sequential Programs on the Basis of Pipeline and Speculative Features of the Operators * ....Pages 48-53 Kinetic Model of Parallel Data Processing....Pages 54-59 PSA Approach to Population Models for Parallel Genetic Algorithms....Pages 60-67 Highly Accurate Numerical Methods for Incompressible 3D Fluid Flows on Parallel Architectures....Pages 68-77 Dynamic Task Scheduling with Precedence Constraints and Communication Delays....Pages 77-92 Two-Dimensional Scheduling of Algorithms with Uniform Dependencies....Pages 92-97 Consistent Lamport Clocks for Asynchronous Groups with Process Crashes....Pages 98-107 Comparative Analysis of Learning Methods of Cellular-Neural Associative Memory....Pages 108-119 Emergence and Propagation of Round Autowave in Cellular Neural Network....Pages 120-133 Parametric Behaviour Analysis for Time Petri Nets * ....Pages 134-140 A Blackboard Approach for the Automatic Optimization of Parallel I/O Operations....Pages 141-150 Routing and Embeddings in Super Cayley Graphs....Pages 151-166 Implementing Cellular Automata Based Models on Parallel Architectures: The CAPP Project....Pages 167-180 Methods for Achieving Peak Computational Rates for Linear Algebra Operations on Superscalar RISC Processors....Pages 180-185 The Parallel Mathematical Libraries Project (PMLP): Overview, Design Innovations, and Preliminary Results....Pages 186-194 Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool....Pages 194-199 Learning Concurrent Programming: A Constructionist Approach....Pages 200-206 The Speedup Performance of an Associative Memory Based Logic Simulator....Pages 207-217 A High-Level Programming Environment for Distributed Memory Architectures....Pages 217-222 Virtual Shared Files: Towards User-Friendly Inter-Process Communications....Pages 223-228 An Object Oriented Environment to Manage the Parallelism of the FIIT Applications....Pages 229-235 Performance Studies of Shared-Nothing Parallel Transaction Processing Systems....Pages 235-247 Synergetic Tool Environments * ....Pages 248-257 Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines....Pages 258-270 Three Complementary Approaches to Parallelization of Local BLAST Service on Workstation Clusters....Pages 271-282 An Implementation of the Lifecycle Service Object Mobility on CORBA....Pages 283-295 SKiPPER: A Skeleton-Based Parallel Programming Environment for Real-Time Image Processing Applications....Pages 296-305 A Queuing Model of a Multi-threaded Architecture: A Case Study....Pages 306-313 BSP Performance Analysis and Prediction: Tools and Application....Pages 313-319 Message Passing vs Tuple Space Coordination in an Aerodynamics Application * ....Pages 320-334 Two Examples of Distributed Architecture for Solving Combinatorial Optimization Problems....Pages 335-339 Performance of the NAS Benchmarks on a Cluster of SMP PCs Using a Parallelization of the MPI Programs with OpenMP....Pages 339-350 COOL Approach to Petaflops Computing....Pages 351-364 Hardware and Software Optimizations for Multimedia Databases....Pages 365-370 Cellular Recursive Algorithm Architecture for Long Integers Multiplication in Arrays of Restricted Size....Pages 371-382 A Parallel Model Based on Cellular Automata for the Simulation of Pesticide Percolation in the Soil * ....Pages 383-394 Comparative Study of Cellular-Automata Diffusion Models....Pages 395-409 Creating and Running Mobile Agents with XJ DOME....Pages 410-416 Parallelization and Integration of the LU and ILU Algorithm in the LINSOL Program Package....Pages 417-427 CDL++ for the Description of Moving Objects in Cellular Automata....Pages 428-435 Parallel Solution of Large Sparse SPD Linear Systems Based on Overlapping Domain Decomposition....Pages 436-446 Restructuring Parallel Programs for On-the-Fly Race Detection * ....Pages 446-452 Solving Initial Value Problems with a Multiprocessor Code....Pages 452-465 Parallel Implementation of Constraint Solving * ....Pages 466-472 Experiences on Parallelization of Divide and Conquer Algorithms with Parallel Paradigms * ....Pages 473-476 Differentiating Message Passing Interface and Bulk Synchronous Parallel Computation Models....Pages 477-478 Realization of Complex Arithmetic on Cellular Automata....Pages 479-480 Parallel Programming System Based on Super Pascal Language....Pages 481-482 Group-Theoretic Methods for Parallel Computation of Convolution....Pages 483-484 Knowledge Exploitation for Improved Data Distribution....Pages 485-486 An Expert System Approach to Data Distribution and Distribution Analysis....Pages 487-488 Automated Communication Analysis and Code Generation for Non-contiguous Partitions of Two-Dimensional Arrays....Pages 489-490 WinALT, a Software Tool for Fine-Grain Algorithms and Structures Synthesis and Simulation....Pages 491-496 DEALed — A Tool Suite for Distributed Real-Time Systems Development....Pages 497-502 PLATINUM: A Placement Tool Based on Process Initiative....Pages 503-508 Parallel Computing Technologies: 5th International Conference, PaCT-99 St. Petersburg, Russia, September 6–10, 1999 Proceedings Author: Victor Malyshkin Published by Springer Berlin Heidelberg ISBN: 978-3-540-66363-8 DOI: 10.1007/3-540-48387-X Table of Contents: 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 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 This book constitutes the proceedings of the 12th International Conference on Parallel Computing Technologies, PaCT 2013, held in St. Petersburg, Russia, during September 30-October 4, 2013. The 41 full papers presented together with 2 invited papers were carefully reviewed and selected from 83 submissions. The papers are organized in topical sections on all technological aspects of the applications of parallel computer systems High level parallel programming languages and systems, methods and tools for parallel solution of large-scale problems, languages, environments and software tools supporting parallel processing, operating systems, scheduling, mapping, load balancing, general architectural concepts, cellular automata, performance measurement and analysis tools, teaching parallel processing, software for grid and cloud computing, scalable computing, fragmentation and aggregation of algorithms and programs as well as programs assembling and reuse. This text address all current issues in parallel processing, ranging from theory, algorithms, programming and software to implementation, architectures, hardware and applications.