Parallel Computing Technologies: 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings

Front Matter....Pages -
Classical and Quantum Parallelism in the Quantum Fingerprinting Method....Pages 1-12
OpenMP Parallelization of a CFD Code for Multicore Computers: Analysis and Comparison....Pages 13-22
On Quantitative Security Policies....Pages 23-39
A Formal Programming Model of Orléans Skeleton Library....Pages 40-52
LuNA Fragmented Programming System, Main Functions and Peculiarities of Run-Time Subsystem....Pages 53-61
Grid Computing for Sensitivity Analysis of Stochastic Biological Models....Pages 62-73
Looking for Efficient Implementations of Concurrent Objects....Pages 74-87
Cache Efficiency and Scalability on Multi-core Architectures....Pages 88-97
Symbolic Algorithm for Generation Büchi Automata from LTL Formulas....Pages 98-109
Sisal 3.2 Language Features Overview....Pages 110-124
A Cellular Automata Based Model for Pedestrian and Group Dynamics: Motivations and First Experiments....Pages 125-139
Using Multi Core Computers for Implementing Cellular Automata Systems....Pages 140-151
Efficient Minimal Routing in the Triangular Grid with Six Channels....Pages 152-165
Domain Specific Language and Translator for Cellular Automata Models of Physico-Chemical Processes....Pages 166-174
Dynamic Load Balancing for Lattice Gas Simulations on a Cluster....Pages 175-181
Efficient Associative Algorithm for Finding the Second Simple Shortest Paths in a Digraph....Pages 182-191
The Construction of Simulation Models of Algorithms and Structures with Fine-Grain Parallelism in WinALT....Pages 192-203
Simulation of Heterogeneous Catalytic Reaction by Asynchronous Cellular Automata on Multicomputer....Pages 204-209
Smallest Implementations of Optimum-Time Firing Squad Synchronization Algorithms for One-Bit-Communication Cellular Automata....Pages 210-223
Distributed Genetic Process Mining Using Sampling....Pages 224-237
 FaDe : RESTful Service for Failure Detection in SOA Environment....Pages 238-243
ReServE Service: An Approach to Increase Reliability in Service Oriented Systems....Pages 244-256
Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets....Pages 257-271
High-Performance Reconfigurable Computer Systems....Pages 272-283
CacheVisor: A Toolset for Visualizing Shared Caches in Multicore and Multithreaded Processors....Pages 284-289
The LuNA Library of Parallel Numerical Fragmented Subroutines....Pages 290-301
PARMONC - A Software Library for Massively Parallel Stochastic Simulation....Pages 302-316
On Performance Analysis of a Multithreaded Application Parallelized by Different Programming Models Using Intel VTune....Pages 317-331
Using Multidimensional Solvers for Optimal Data Partitioning on Dedicated Heterogeneous HPC Platforms....Pages 332-346
An Efficient Evolutionary Scheduling Algorithm for Parallel Job Model in Grid Environment....Pages 347-357
On Mapping Graphs of Parallel Programs onto Graphs of Distributed Computer Systems by Recurrent Neural Networks....Pages 358-367
Slot Selection and Co-allocation for Economic Scheduling in Distributed Computing....Pages 368-383
An Initial Approximation to the Resource-Optimal Checkpoint Interval....Pages 384-389
Performance Characteristics of Global High-Resolution Ocean (MPIOM) and Atmosphere (ECHAM6) Models on Large-Scale Multicore Cluster....Pages 390-403
Performances of Navier-Stokes Solver on a Hybrid CPU/GPU Computing System....Pages 404-416
Optimal Design of Multi-product Batch Plants Using a Parallel Branch-and-Bound Method....Pages 417-430
Virtual Path Implementation of Multi-stream Routing in Network on Chip....Pages 431-436
Web Service of Access to Computing Resources of BOINC Based Desktop Grid....Pages 437-443
Solution of Assimilation Observation Data Problem for Shallow Water Equations for SMP-Nodes Cluster....Pages 444-451
A Parallel Implementation of GaussSieve for the Shortest Vector Problem in Lattices....Pages 452-458
Graphical Algorithm for the Knapsack Problems....Pages 459-466
SSCCIP – A Framework for Building Distributed High-Performance Image Processing Technologies....Pages 467-472
Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System....Pages 473-483
High Performance Computing of MSSG with Ultra High Resolution....Pages 484-498
Back Matter....Pages -