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)

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

Conference proceedings info: PaCT 2001.

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-44743-6
  • 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 129.00
Price excludes VAT (USA)

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

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. GCA: Global Cellular Automata. A Flexible Parallel Model

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

      • K. Segun, A. R. Hurson, A. Spink
      Pages 112-127
    6. 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

Other Volumes

  1. Parallel Computing Technologies

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

Keywords

  • Automat
  • Cluster
  • Java
  • Processing
  • automata
  • load balancing
  • parallel computing
  • programming
  • algorithm analysis and problem complexity

Editors and Affiliations

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

    Victor Malyshkin

Bibliographic Information

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-44743-6
  • 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 129.00
Price excludes VAT (USA)