Skip to main content
  • Conference proceedings
  • © 2001

Parallel Computing Technologies

6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings

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

Buy it now

Buying options

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

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

Table of contents (53 papers)

  1. Front Matter

    Pages I-XII
  2. Theory

    1. Formal Verification of Coherence for a Shared Memory Multiprocessor Model

      • Manuel Barrio-Solórzano, M. Encarnación Beato, Carlos E. Cuesta, Pablo de la Fuente
      Pages 17-26
    2. Static Analysis for Secrecy and Non-interference in Networks of Processes

      • C. Bodei, P. Degano, F. Nielson, H. Riis Nielson
      Pages 27-41
    3. Consensus in One Communication Step

      • Francisco Brasileiro, Fabíola Greve, Achour Mostefaoui, Michel Raynal
      Pages 42-50
    4. Design Space Exploration for Massively Parallel Processor Arrays

      • Frank Hannig, Jürgen Teich
      Pages 51-65
    5. GCA: Global Cellular Automata. A Flexible Parallel Model

      • Rolf Hoffmann, Klaus-Peter Völkmann, Stefan Waldschmidt, Wolfgang Heenes
      Pages 66-73
    6. A Transaction Processing Model for the Mobile Data Access System

      • K. Segun, A. R. Hurson, A. Spink
      Pages 112-127
    7. Characterizing Timed Net Processes Categorically

      • I. B. Virbitskaite
      Pages 128-141
  3. Software and Architecture

    1. ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks

      • Igor V. Alekseev, Valery A. Sokolov
      Pages 159-174
    2. Extension of Java Environment by Facilities Supporting Development of SPMD Java-Programs

      • Arutyun Avetisyan, Serguei Gaissaryan, Oleg Samovarov
      Pages 175-180
    3. Mechanisms of Parallel Computing Organization for NeuroCluster

      • L. K. Babenko, A. G. Chefranov, P. A. Fedorov, A. Yu. Korobko, O. B. Makarevich
      Pages 181-185
    4. Parallel SPMD-Tasks Graph Description Language for Network Clusters

      • L. K. Babenko, A. G. Chefranov, R. V. Trotsenko
      Pages 186-189
    5. Optimizing Metacomputing with Communication-Computation Overlap

      • Françoise Baude, Denis Caromel, Nathalie Furmento, David Sagnol
      Pages 190-204

Editors and Affiliations

  • Supercomputer Software Department, ICMand MG SB RAS, Novosibirsk, Russia

    Victor Malyshkin

Bibliographic Information

Buy it now

Buying options

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