Check nearby libraries
Buy this book

Parallel Computing Technologies: 6th International Conference, PaCT 2001 Novosibirsk, Russia, September 3–7, 2001 Proceedings
Author: Victor Malyshkin
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42522-9
DOI: 10.1007/3-540-44743-1
Table of Contents:
- A Hybrid Approach to Reaction-Diffusion Processes Simulation
- Formal Verification of Coherence for a Shared Memory Multiprocessor Model
- Static Analysis for Secrecy and Non-interference in Networks of Processes
- Consensus in One Communication Step
- Design Space Exploration for Massively Parallel Processor Arrays
- GCA: Global Cellular Automata. A Flexible Parallel Model
- Cellular-Pipelined Algorithm Architecture for Polynomial Computing
- MetaPL: A Notation System for Parallel Program Description and Performance Analysis
- First-Order 2D Cellular Neural Networks Investigation and Learning
- Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles
- A Transaction Processing Model for the Mobile Data Access System
- Characterizing Timed Net Processes Categorically
- Mapping Heterogeneous Task Graphs onto Networks: Execution Time Optimization
- An O[n
- ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks
- Extension of Java Environment by Facilities Supporting Development of SPMD Java-Programs
- Mechanisms of Parallel Computing Organization for NeuroCluster
- Parallel SPMD-Tasks Graph Description Language for Network Clusters
- Optimizing Metacomputing with Communication-Computation Overlap
- WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility
Check nearby libraries
Buy this book

Previews available in: English
Book Details
The Physical Object
Edition Identifiers
Work Identifiers
Work Description
Parallel Computing Technologies: 5th International Conference, PaCT-99 St. Petersburg, Russia, September 6–10, 1999 Proceedings
Author: Victor Malyshkin
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66363-8
DOI: 10.1007/3-540-48387-X
Table of Contents:
- Analytical Modeling of Parallel Applications in Heterogeneous Computing Environments: A Study of Cholesky Factorization
- Skeletons and Transformations in an Integrated Parallel Programming Environment*
- Sequential Unification and Aggressive Lookahead Mechanisms for Data Memory Accesses
- A Coordination Model and Facilities for Efficient Parallel Computation
- Parallelizing of Sequential Programs on the Basis of Pipeline and Speculative Features of the Operators*
- Kinetic Model of Parallel Data Processing
- PSA Approach to Population Models for Parallel Genetic Algorithms
- Highly Accurate Numerical Methods for Incompressible 3D Fluid Flows on Parallel Architectures
- Dynamic Task Scheduling with Precedence Constraints and Communication Delays
- Two-Dimensional Scheduling of Algorithms with Uniform Dependencies
- Consistent Lamport Clocks for Asynchronous Groups with Process Crashes
- Comparative Analysis of Learning Methods of Cellular-Neural Associative Memory
- Emergence and Propagation of Round Autowave in Cellular Neural Network
- Parametric Behaviour Analysis for Time Petri Nets*
- A Blackboard Approach for the Automatic Optimization of Parallel I/O Operations
- Routing and Embeddings in Super Cayley Graphs
- Implementing Cellular Automata Based Models on Parallel Architectures: The CAPP Project
- Methods for Achieving Peak Computational Rates for Linear Algebra Operations on Superscalar RISC Processors
- The Parallel Mathematical Libraries Project (PMLP): Overview, Design Innovations, and Preliminary Results
- Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool
Community Reviews (0)
July 16, 2024 | Edited by MARC Bot | import existing book |
October 18, 2023 | Edited by ImportBot | import existing book |
August 18, 2020 | Edited by ImportBot | import existing book |
July 29, 2014 | Edited by ImportBot | import new book |
December 10, 2009 | Created by WorkBot | add works page |