Skip to main content
  • Conference proceedings
  • © 2003

Parallel Computing Technologies

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

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

Conference series link(s): PaCT: International Conference on Parallel Computing Technologies

Conference proceedings info: PaCT 2003.

Buying options

eBook USD 109.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-45145-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 139.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (53 papers)

  1. Front Matter

  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. Resource Similarities in Petri Net Models of Distributed Systems

      • Vladimir A. Bashkin, Irina A. Lomazova
      Pages 35-48
    4. Authentication Primitives for Protocol Specifications

      • Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
      Pages 49-65
    5. Parallel Computing for Globally Optimal Decision Making

      • V. P. Gergel, R. G. Strongin
      Pages 76-88
    6. Parallelization of Alternating Direction Implicit Methods for Three-Dimensional Domains

      • V. P. Il’in, S. A. Litvinenko, V. M. Sveshnikov
      Pages 89-99
    7. Interval Approach to Parallel Timed Systems Verification

      • Yuri G. Karpov, Dmitry Sotnikov
      Pages 100-116
    8. An Approach to Assessment of Heterogeneous Parallel Algorithms

      • Alexey Lastovetsky, Ravi Reddy
      Pages 117-129
    9. A Hierarchy of Conditions for Asynchronous Interactive Consistency

      • Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
      Pages 130-140
  3. Software

    1. Load Imbalance in Parallel Programs

      • Maria Calzarossa, Luisa Massari, Daniele Tessera
      Pages 197-206
    2. Software Carry-Save: A Case Study for Instruction-Level Parallelism

      • David Defour, Florent de Dinechin
      Pages 207-214
    3. A Polymorphic Type System for Bulk Synchronous Parallel ML

      • Frédéric Gava, Frédéric Loulergue
      Pages 215-229

Other Volumes

  1. Parallel Computing Technologies

    7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003. Proceedings

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 Association Antenne-Provence (France).

Keywords

  • 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

Editors and Affiliations

  • Novosibirsk State Technical University, Russia

    Victor E. Malyshkin

Bibliographic Information

Buying options

eBook USD 109.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-45145-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 139.00
Price excludes VAT (USA)