This book constitutes the refereed proceedings of the 6th International Conference on Parallel Computing Technologies, PaCT 2001, held in Novosibirsk, Russia in September 2001. The 36 revised full papers and 13 posters presented together with 4 invited papers were carefully reviewed and selected from 81 submissions. The papers presented span the whole range of parallel processing from theory and software through architecture and applications. Among the topics addressed are shared memory systems, formal methods, networks of processes, cellular automata, mobile data access systems, Java programming, neuro-cluster computing, network clusters, load balancing, etc.
Author(s): Olga Bandman (auth.), Victor Malyshkin (eds.)
Series: Lecture Notes in Computer Science 2127
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 524
Tags: Software Engineering/Programming and Operating Systems; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Computer Systems Organization and Communication Networks; Simulation and Modeling
A Hybrid Approach to Reaction-Diffusion Processes Simulation....Pages 1-16
Formal Verification of Coherence for a Shared Memory Multiprocessor Model....Pages 17-26
Static Analysis for Secrecy and Non-interference in Networks of Processes....Pages 27-41
Consensus in One Communication Step....Pages 42-50
Design Space Exploration for Massively Parallel Processor Arrays....Pages 51-65
GCA: Global Cellular Automata. A Flexible Parallel Model....Pages 66-73
Cellular-Pipelined Algorithm Architecture for Polynomial Computing....Pages 74-79
MetaPL: A Notation System for Parallel Program Description and Performance Analysis....Pages 80-93
First-Order 2D Cellular Neural Networks Investigation and Learning....Pages 94-97
Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles....Pages 98-111
A Transaction Processing Model for the Mobile Data Access System....Pages 112-127
Characterizing Timed Net Processes Categorically....Pages 128-141
Mapping Heterogeneous Task Graphs onto Networks: Execution Time Optimization....Pages 142-149
An O [ n 3 / z 3 ] Reduction Procedure for Determining the Maximum Degree of Parallelism in Parallel Applications....Pages 150-158
ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks....Pages 159-174
Extension of Java Environment by Facilities Supporting Development of SPMD Java-Programs....Pages 175-180
Mechanisms of Parallel Computing Organization for NeuroCluster....Pages 181-185
Parallel SPMD-Tasks Graph Description Language for Network Clusters....Pages 186-189
Optimizing Metacomputing with Communication-Computation Overlap....Pages 190-204
WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility....Pages 205-210
On Using SPiDER to Examine and Debug Real-World Data-Parallel Applications....Pages 211-225
Experimental Version of Parallel Programs Translator from Petri Nets to C++....Pages 226-231
Typing the ISA to Cluster the Processor....Pages 232-242
Send-Recv Considered Harmful? Myths and Truths about Parallel Programming....Pages 243-257
UNICORE: A Grid Computing Environment for Distributed and Parallel Computing....Pages 258-265
Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element Method....Pages 266-276
Concurrent Implementation of Structurally Synthesized Programs....Pages 277-284
An Associative Version of the Bellman-Ford Algorithm for Finding the Shortest Paths in Directed Graphs....Pages 285-292
Fusion of Concurrent Invocations of Exclusive Methods....Pages 293-307
Computational Portal: Remote Access to High-Performance Computing....Pages 308-313
Event Logic Programming....Pages 314-318
Techniques for Increasing Performance of CORBA Parallel Distributed Applications....Pages 319-328
Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System....Pages 329-343
Communication Interface CoIn....Pages 344-349
Design of a Tool for Providing Dynamic Network Information to an Application....Pages 350-357
Compilation Principle of a Specification Language Dedicated to Signal Processing....Pages 358-370
An Approach to Composing Parallel Programs....Pages 371-378
Web-Based Parallel Simulation of AGVs Using Java and JINI....Pages 379-384
On the Parallelezation of Domain Decomposition Methods for 3-D Boundary Value Problems....Pages 385-390
Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata....Pages 391-400
Parallel Simulation of 3D Incompressible Flows and Performance Comparison for Several MPP and Cluster Platforms....Pages 401-409
Distributed Simulation of Hybrid Systems with HLA Support....Pages 410-420
Application of the Parallel Computing Technology to a Wave Front Model Using the Finite Element Method....Pages 421-427
A General Parallel Computing Approach Using the Finite Element Method and the Objects Oriented Programming by Selected Data Technique....Pages 428-435
Parallel Implementation of a Corrected DSMC Method....Pages 436-441
Parallel Algorithms for Non-stationary Problems: Survey of New Generation of Explicit Schemes....Pages 442-446
Tool Environments in CORBA-Based Medical High Performance Computing....Pages 447-455
Parallel Algorithms for the Analysis of Biological Sequences....Pages 456-468
Some Parallel Monte Carlo Algorithms....Pages 469-479
Implementation of the Parallel Four Points Modified Explicit Group Iterative Algorithm on Shared Memory Parallel Computer....Pages 480-489
A Parallel Expressed Sequence Tag (EST) Clustering Program....Pages 490-497
Protein Sequence Comparison on the Instruction Systolic Array....Pages 498-509
SCI-Based LINUX PC-Clusters as a Platform for Electromagnetic Field Calculations....Pages 510-513
