Skip to main content
  • Conference proceedings
  • © 2011

Parallel Computing Technologies

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

  • 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)

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

Conference proceedings info: PaCT 2011.

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

  1. Front Matter

  2. Models and Languages

    1. Classical and Quantum Parallelism in the Quantum Fingerprinting Method

      • Farid Ablayev, Alexander Vasiliev
      Pages 1-12
    2. On Quantitative Security Policies

      • Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
      Pages 23-39
    3. A Formal Programming Model of Orléans Skeleton Library

      • Noman Javed, Frédéric Loulergue
      Pages 40-52
    4. 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
    5. Looking for Efficient Implementations of Concurrent Objects

      • Achour Mostéfaoui, Michel Raynal
      Pages 74-87
    6. Cache Efficiency and Scalability on Multi-core Architectures

      • Thomas Müller, Carsten Trinitis, Jasmin Smajic
      Pages 88-97
    7. Symbolic Algorithm for Generation Büchi Automata from LTL Formulas

      • Irina V. Shoshmina, Alexey B. Belyaev
      Pages 98-109
    8. Sisal 3.2 Language Features Overview

      • Alexander Stasenko
      Pages 110-124

Other Volumes

  1. Parallel Computing Technologies

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

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