Skip to main content
SpringerLink
Log in
Book cover

Parallel Computing Technologies

11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Victor Malyshkin

    1. Institute of Computational Mathematics and Mathematical Geophysics, Supercomputer Software Department, Russian Academy of Sciences Pr. Lavrentieva, ICM&MG RAS, Novosibirsk, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: PaCT 2011.

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 (44 papers)

  1. Front Matter

    Download chapter PDF

  2. Models and Languages

    1. Classical and Quantum Parallelism in the Quantum Fingerprinting Method

      • Farid Ablayev, Alexander Vasiliev
      Pages 1-12

    2. OpenMP Parallelization of a CFD Code for Multicore Computers: Analysis and Comparison

      • Oleg Bessonov
      Pages 13-22

    3. On Quantitative Security Policies

      • Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
      Pages 23-39

    4. A Formal Programming Model of Orléans Skeleton Library

      • Noman Javed, Frédéric Loulergue
      Pages 40-52

    5. LuNA Fragmented Programming System, Main Functions and Peculiarities of Run-Time Subsystem

      • Victor E. Malyshkin, Vladislav A. Perepelkin
      Pages 53-61

    6. Grid Computing for Sensitivity Analysis of Stochastic Biological Models

      • Ivan Merelli, Dario Pescini, Ettore Mosca, Paolo Cazzaniga, Carlo Maj, Giancarlo Mauri et al.
      Pages 62-73

    7. Looking for Efficient Implementations of Concurrent Objects

      • Achour Mostéfaoui, Michel Raynal
      Pages 74-87

    8. Cache Efficiency and Scalability on Multi-core Architectures

      • Thomas Müller, Carsten Trinitis, Jasmin Smajic
      Pages 88-97

    9. Symbolic Algorithm for Generation Büchi Automata from LTL Formulas

      • Irina V. Shoshmina, Alexey B. Belyaev
      Pages 98-109

    10. Sisal 3.2 Language Features Overview

      • Alexander Stasenko
      Pages 110-124

  3. Cellular Automata

    1. A Cellular Automata Based Model for Pedestrian and Group Dynamics: Motivations and First Experiments

      • Stefania Bandini, Federico Rubagotti, Giuseppe Vizzari, Kenichiro Shimura
      Pages 125-139

    2. Using Multi Core Computers for Implementing Cellular Automata Systems

      • Olga Bandman
      Pages 140-151

    3. Efficient Minimal Routing in the Triangular Grid with Six Channels

      • Rolf Hoffmann, Dominique Désérable
      Pages 152-165

    4. Domain Specific Language and Translator for Cellular Automata Models of Physico-Chemical Processes

      • Konstantin Kalgin
      Pages 166-174

    5. Dynamic Load Balancing for Lattice Gas Simulations on a Cluster

      • Yuri Medvedev
      Pages 175-181

    6. Efficient Associative Algorithm for Finding the Second Simple Shortest Paths in a Digraph

      • Anna Nepomniaschaya
      Pages 182-191

    7. The Construction of Simulation Models of Algorithms and Structures with Fine-Grain Parallelism in WinALT

      • Mike Ostapkevich, Sergey Piskunov
      Pages 192-203

    8. Simulation of Heterogeneous Catalytic Reaction by Asynchronous Cellular Automata on Multicomputer

      • Anastasia Sharifulina, Vladimir Elokhin
      Pages 204-209

    9. Smallest Implementations of Optimum-Time Firing Squad Synchronization Algorithms for One-Bit-Communication Cellular Automata

      • Hiroshi Umeo, Takashi Yanagihara
      Pages 210-223
Back to top

Other volumes

  1. Parallel Computing Technologies

Keywords

About this book

This book constitutes the proceedings of the 11th International Conference on Parallel Computing Technologies, PaCT 2011, held in Kazan, Russia on September 19-23, 2011.
The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on models and languages, cellular automata, parallel programming tools and support, and applications.

Editors and Affiliations

  • Institute of Computational Mathematics and Mathematical Geophysics, Supercomputer Software Department, Russian Academy of Sciences Pr. Lavrentieva, ICM&MG RAS, Novosibirsk, Russia

    Victor Malyshkin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation