Parallel Computing Technologies
Subtitle: 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: September 21, 2001
Language: eng
Format: Paperback
Number of pages: 516
ISBN-13: 9783540425229
Subjects: Algorithms & procedures; Parallel Processing; Software engineering; Computers; Computers - General Information; Programming - Parallel Programming; Computer Books: General; Programming - General; Parallel processing (Electroni; Data Processing - Parallel Processing; General; Computers / Programming / Software Development; Parallel computing; cluster computing; data-parallel programming; distributed systems; high performance computing; network computing; Congresses; Parallel processing (Electronic computers)
Description: Parallel Computing Technologies: 6th International Conference, PaCT 2001 Novosibirsk, Russia, September 3–7, 2001 Proceedings<br />Author: Victor Malyshkin<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-42522-9<br /> DOI: 10.1007/3-540-44743-1<br /><br />Table of Contents:<p></p><ul><li>A Hybrid Approach to Reaction-Diffusion Processes Simulation
</li><li>Formal Verification of Coherence for a Shared Memory Multiprocessor Model
</li><li>Static Analysis for Secrecy and Non-interference in Networks of Processes
</li><li>Consensus in One Communication Step
</li><li>Design Space Exploration for Massively Parallel Processor Arrays
</li><li>GCA: Global Cellular Automata. A Flexible Parallel Model
</li><li>Cellular-Pipelined Algorithm Architecture for Polynomial Computing
</li><li>MetaPL: A Notation System for Parallel Program Description and Performance Analysis
</li><li>First-Order 2D Cellular Neural Networks Investigation and Learning
</li><li>Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles
</li><li>A Transaction Processing Model for the Mobile Data Access System
</li><li>Characterizing Timed Net Processes Categorically
</li><li>Mapping Heterogeneous Task Graphs onto Networks: Execution Time Optimization
</li><li>An O[n
</li><li>ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks
</li><li>Extension of Java Environment by Facilities Supporting Development of SPMD Java-Programs
</li><li>Mechanisms of Parallel Computing Organization for NeuroCluster
</li><li>Parallel SPMD-Tasks Graph Description Language for Network Clusters
</li><li>Optimizing Metacomputing with Communication-Computation Overlap
</li><li>WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility</li></ul>