Parallel Computing Technologies

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

  • Victor Malyshkin
Conference proceedings PaCT 2011

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

Table of contents

  1. Front Matter
    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

About these proceedings

Introduction

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.

Keywords

distributed computing high performance computing multicore architectures parallel archtectures parallel programming parallelization quantum parallelism

Editors and affiliations

  • Victor Malyshkin
    • 1
  1. 1.Institute of Computational Mathematics and Mathematical Geophysics, Supercomputer Software DepartmentRussian Academy of Sciences Pr. Lavrentieva, ICM&MG RASNovosibirskRussia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-23178-0
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-23177-3
  • Online ISBN 978-3-642-23178-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace