11. PaCT 2011: Kazan, Russia

Models and Languages

• Farid M. Ablayev, Alexander Vasiliev:
  Classical and Quantum Parallelism in the Quantum Fingerprinting Method. 1-12
  
• Oleg Bessonov:
  OpenMP Parallelization of a CFD Code for Multicore Computers: Analysis and Comparison. 13-22
  
• Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti:
  On Quantitative Security Policies. 23-39
  
• Noman Javed, Frédéric Loulergue:
  A Formal Programming Model of Orléans Skeleton Library. 40-52
  
• Victor E. Malyshkin, Vladislav Perepelkin:
  LuNA Fragmented Programming System, Main Functions and Peculiarities of Run-Time Subsystem. 53-61
  
• Ivan Merelli, Dario Pescini, Ettore Mosca, Paolo Cazzaniga, Carlo Maj, Giancarlo Mauri, Luciano Milanesi:
  Grid Computing for Sensitivity Analysis of Stochastic Biological Models. 62-73
  
• Achour Mostéfaoui, Michel Raynal:
  Looking for Efficient Implementations of Concurrent Objects. 74-87
  
• Thomas Müller, Carsten Trinitis, Jasmin Smajic:
  Cache Efficiency and Scalability on Multi-core Architectures. 88-97
  
• Irina V. Shoshmina, Alexey B. Belyaev:
  Symbolic Algorithm for Generation Büchi Automata from LTL Formulas. 98-109
  
• Alexander P. Stasenko:
  Sisal 3.2 Language Features Overview. 110-124
  

Cellular Automata

• Stefania Bandini, Federico Rubagotti, Giuseppe Vizzari, Kenichiro Shimura:
  A Cellular Automata Based Model for Pedestrian and Group Dynamics: Motivations and First Experiments. 125-139
  
• Olga L. Bandman:
  Using Multi Core Computers for Implementing Cellular Automata Systems. 140-151
  
• Rolf Hoffmann, Dominique Désérable:
  Efficient Minimal Routing in the Triangular Grid with Six Channels. 152-165
  
• Konstantin Kalgin:
  Domain Specific Language and Translator for Cellular Automata Models of Physico-Chemical Processes. 166-174
  
• Yuri Medvedev:
  Dynamic Load Balancing for Lattice Gas Simulations on a Cluster. 175-181
  
• Anna Nepomniaschaya:
  Efficient Associative Algorithm for Finding the Second Simple Shortest Paths in a Digraph. 182-191
  
• Michael Ostapkevich, Sergey Piskunov:
  The Construction of Simulation Models of Algorithms and Structures with Fine-Grain Parallelism in WinALT. 192-203
  
• Anastasia Sharifulina, Vladimir Elokhin:
  Simulation of Heterogeneous Catalytic Reaction by Asynchronous Cellular Automata on Multicomputer. 204-209
  
• Hiroshi Umeo, Takashi Yanagihara:
  Smallest Implementations of Optimum-Time Firing Squad Synchronization Algorithms for One-Bit-Communication Cellular Automata. 210-223
  

Parallel Programming Tools and Support

• Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst:
  Distributed Genetic Process Mining Using Sampling. 224-237
  
• Jerzy Brzezinski, Dariusz Dwornikowski, Jacek Kobusinski:
  FaDe: RESTful Service for Failure Detection in SOA Environment. 238-243
  
• Arkadiusz Danilecki, Mateusz Holenko, Anna Kobusinska, Michal Szychowiak, Piotr Zierhoffer:
  ReServE Service: An Approach to Increase Reliability in Service Oriented Systems. 244-256
  
• Zuohua Ding, Hui Shen, Jianwen Cao:
  Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets. 257-271
  
• Alexey Dordopulo, Igor Kalyaev, Ilya Levin, Liubov Slasten:
  High-Performance Reconfigurable Computer Systems. 272-283
  
• Dmitry Evtyushkin, Peter Panfilov, Dmitry Ponomarev:
  CacheVisor: A Toolset for Visualizing Shared Caches in Multicore and Multithreaded Processors. 284-289
  
• Sergey Kireev, Victor Malyshkin, Hamido Fujita:
  The LuNA Library of Parallel Numerical Fragmented Subroutines. 290-301
  
• Mikhail Marchenko:
  PARMONC - A Software Library for Massively Parallel Stochastic Simulation. 302-316
  
• Ami Marowka:
  On Performance Analysis of a Multithreaded Application Parallelized by Different Programming Models Using Intel VTune. 317-331
  
• Vladimir Rychkov, David Clarke, Alexey L. Lastovetsky:
  Using Multidimensional Solvers for Optimal Data Partitioning on Dedicated Heterogeneous HPC Platforms. 332-346
  
• Piotr Switalski, Franciszek Seredynski:
  An Efficient Evolutionary Scheduling Algorithm for Parallel Job Model in Grid Environment. 347-357
  
• Mikhail S. Tarkov:
  On Mapping Graphs of Parallel Programs onto Graphs of Distributed Computer Systems by Recurrent Neural Networks. 358-367
  
• Victor V. Toporkov, Alexander Bobchenkov, Anna S. Toporkova, Alexey Tselishchev, Dmitry Yemelyanov:
  Slot Selection and Co-allocation for Economic Scheduling in Distributed Computing. 368-383
  
• Ekaterina Tyutlyaeva, Alexander Moskovsky:
  An Initial Approximation to the Resource-Optimal Checkpoint Interval. 384-389
  

Applications

• Panagiotis Adamidis, Irina Fast, Thomas Ludwig:
  Performance Characteristics of Global High-Resolution Ocean (MPIOM) and Atmosphere (ECHAM6) Models on Large-Scale Multicore Cluster. 390-403
  
• Giancarlo Alfonsi, Stefania A. Ciliberti, Marco Mancini, Leonardo Primavera:
  Performances of Navier-Stokes Solver on a Hybrid CPU/GPU Computing System. 404-416
  
• Andrey Borisenko, Philipp Kegel, Sergei Gorlatch:
  Optimal Design of Multi-product Batch Plants Using a Parallel Branch-and-Bound Method. 417-430
  
• Bartosz Chojnacki, Tomasz Maka, Piotr Dziurzanski:
  Virtual Path Implementation of Multi-stream Routing in Network on Chip. 431-436
  
• Evgeny Ivashko, Natalia Nikitina:
  Web Service of Access to Computing Resources of BOINC Based Desktop Grid. 437-443
  
• Evgeniya Karepova, Ekaterina Dementyeva:
  Solution of Assimilation Observation Data Problem for Shallow Water Equations for SMP-Nodes Cluster. 444-451
  
• Benjamin Milde, Michael Schneider:
  A Parallel Implementation of GaussSieve for the Shortest Vector Problem in Lattices. 452-458
  
• Alexander Lazarev, Anton Salnikov, Anton Baranov:
  Graphical Algorithm for the Knapsack Problems. 459-466
  
• Evgeny V. Rusin:
  SSCCIP - A Framework for Building Distributed High-Performance Image Processing Technologies. 467-472
  
• Alexander Semenov, Oleg Zaikin, Dmitry Bespalov, Mikhail Posypkin:
  Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System. 473-483
  
• Keiko Takahashi, Koji Goto, Hiromitsu Fuchigami, Ryo Onishi, Yuya Baba, Shinichiro Kida, Takeshi Sugimura:
  High Performance Computing of MSSG with Ultra High Resolution. 484-498
  

Last update Fri May 25 08:30:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page