Parallel Computing Technologies

1. Front Matter

   PDF

2. Theory

   1. Mapping Affine Loop Nests: Solving of the Alignment and Scheduling Problems

      • Evgeniya V. Adutskevich, Nickolai A. Likhoded

      Pages 1-9

   2. Situated Cellular Agents in Non-uniform Spaces

      • Stefania Bandini, Sara Manzoni, Carla Simone

      Pages 10-19

   3. Accuracy and Stability of Spatial Dynamics Simulation by Cellular Automata Evolution

      • Olga Bandman

      Pages 20-34

   4. Resource Similarities in Petri Net Models of Distributed Systems

      • Vladimir A. Bashkin, Irina A. Lomazova

      Pages 35-48

   5. Authentication Primitives for Protocol Specifications

      • Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami

      Pages 49-65

   6. An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks

      • Dmitry J. Chaly, Valery A. Sokolov

      Pages 66-75

   7. Parallel Computing for Globally Optimal Decision Making

      • V. P. Gergel, R. G. Strongin

      Pages 76-88

   8. Parallelization of Alternating Direction Implicit Methods for Three-Dimensional Domains

      • V. P. Il’in, S. A. Litvinenko, V. M. Sveshnikov

      Pages 89-99

   9. Interval Approach to Parallel Timed Systems Verification

      • Yuri G. Karpov, Dmitry Sotnikov

      Pages 100-116

   10. An Approach to Assessment of Heterogeneous Parallel Algorithms

       • Alexey Lastovetsky, Ravi Reddy

       Pages 117-129

   11. A Hierarchy of Conditions for Asynchronous Interactive Consistency

       • Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy

       Pages 130-140

   12. Associative Parallel Algorithms for Dynamic Edge Update of Minimum Spanning Trees

       • Anna S. Nepomniaschaya

       Pages 141-150

   13. The Renaming Problem as an Introduction to Structures for Wait-Free Computing

       • Michel Raynal

       Pages 151-164

   14. Graph Partitioning in Scientific Simulations: Multilevel Schemes versus Space-Filling Curves

       • Stefan Schamberger, Jens-Michael Wierum

       Pages 165-179

   15. Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis

       • Hee-Jun Yoo, Jin-Young Choi

       Pages 180-184

3. Software

   1. Optimization of the Communications between Processors in a General Parallel Computing Approach Using the Selected Data Technique

      • Hervé Bolvin, André Chambarel, Dominique Fougère, Petr Gladkikh

      Pages 185-196

   2. Load Imbalance in Parallel Programs

      • Maria Calzarossa, Luisa Massari, Daniele Tessera

      Pages 197-206

   3. Software Carry-Save: A Case Study for Instruction-Level Parallelism

      • David Defour, Florent de Dinechin

      Pages 207-214

   4. A Polymorphic Type System for Bulk Synchronous Parallel ML

      • Frédéric Gava, Frédéric Loulergue

      Pages 215-229

The PaCT-2003 (Parallel Computing Technologies) conference was a four-day conference held in Nizhni Novgorod on September 15–19, 2003. This was the 7th international conference of 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),30August–4September,1993;St.Petersburg,September12–15,1995; Yaroslavl, September 9–12, 1997; Pushkin (near St. Petersburg) September 6– 10, 1999; and Akademgorodok (Novosibirsk), September 3–7, 2001. The PaCT proceedings are published by Springer-Verlag in the LNCS series. PaCT-2003 was jointly organized by the Institute of Computational - thematics and Mathematical Geophysics of the Russian Academy of Sciences (Novosibirsk) and the State University of Nizhni Novgorod. The purpose of the conference was to bring together scientists working with theory, architectures, software, hardware and solutions of large-scale problems in order to provide integrated discussions on Parallel Computing Technologies. Theconferenceattractedabout100participantsfromaroundtheworld.Authors from 23 countries submitted 78 papers. Of those submitted, 38 papers were selected for the conference as regular ones; there were also 4 invited papers. In addition,anumberofposterswerepresented.Allthepaperswereinternationally reviewed by at least three referees. As usual a demo session was organized for the participants. Many thanks to our sponsors: the Russian Academy of Sciences, the Russian Fund for Basic Research, the Russian State Committee of Higher Education, IBM and Intel (Intel laboratory in Nizhni Novgorod) for their ?nancial support. The organizers highly appreciate the help of the AssociationAntenne-Provence (France).

• Augmented Reality
• CORBA
• Cluster
• Performance
• Processing
• Transport
• algorithms
• distributed computing
• high performance computing
• model
• parallel algorithms
• parallel architectures
• parallel computing
• parallel programming
• simulation
• algorithm analysis and problem complexity

• Novosibirsk State Technical University, Russia

  Victor E. Malyshkin

Policies and ethics