Skip to main content
SpringerLink
Log in
Book cover

Parallel Computing Technologies

7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Victor E. Malyshkin

    1. Novosibirsk State Technical University, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2763)

Included in the following conference series:

Conference proceedings info: PaCT 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (53 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Parallel Computing Technologies

Keywords

About this book

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).

Editors and Affiliations

  • Novosibirsk State Technical University, Russia

    Victor E. Malyshkin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation