Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Parallel Computing Technologies

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

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Victor Malyshkin

    1. Supercomputer Software Department, ICMand MG SB RAS, Novosibirsk, 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 2127)

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

    Pages I-XII
    Download chapter PDF

  2. Theory

    1. A Hybrid Approach to Reaction-Diffusion Processes Simulation

      • Olga Bandman
      Pages 1-16

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

    3. Static Analysis for Secrecy and Non-interference in Networks of Processes

      • C. Bodei, P. Degano, F. Nielson, H. Riis Nielson
      Pages 27-41

    4. Consensus in One Communication Step

      • Francisco Brasileiro, Fabíola Greve, Achour Mostefaoui, Michel Raynal
      Pages 42-50

    5. Design Space Exploration for Massively Parallel Processor Arrays

      • Frank Hannig, Jürgen Teich
      Pages 51-65

    6. GCA: Global Cellular Automata. A Flexible Parallel Model

      • Rolf Hoffmann, Klaus-Peter Völkmann, Stefan Waldschmidt, Wolfgang Heenes
      Pages 66-73

    7. Cellular-Pipelined Algorithm Architecture for Polynomial Computing

      • Valentina Markova
      Pages 74-79

    8. MetaPL: A Notation System for Parallel Program Description and Performance Analysis

      • N. Mazzocca, M. Rak, U. Villano
      Pages 80-93

    9. First-Order 2D Cellular Neural Networks Investigation and Learning

      • Sergey Pudov
      Pages 94-97

    10. Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles

      • Michel Raynal
      Pages 98-111

    11. A Transaction Processing Model for the Mobile Data Access System

      • K. Segun, A. R. Hurson, A. Spink
      Pages 112-127

    12. Characterizing Timed Net Processes Categorically

      • I. B. Virbitskaite
      Pages 128-141

    13. Mapping Heterogeneous Task Graphs onto Networks: Execution Time Optimization

      • Natalya Vodovoz
      Pages 142-149

    14. An O[n 3/z 3] Reduction Procedure for Determining the Maximum Degree of Parallelism in Parallel Applications

      • Igor V. Zotov, Vitaliy S. Titov
      Pages 150-158

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

Keywords

Editors and Affiliations

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

    Victor Malyshkin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation