Parallel Computing Technologies
6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings
Published on 15. August 2001
Book
Paperback/Softback
XII, 524 pages
978-3-540-42522-9 (ISBN)
Description
The PaCT-2001 (Parallel Computing Technologies) conference was a four-day conference held in Akademgorodok (Novosibirsk), September 3-7, 2001. This was the sixth international conference in the PaCT series, organized in Russia every odd year. The ?rst conference, PaCT-91, was held in Novosibirsk (Academgorodok), September 7-11, 1991. The next PaCT conferences were held in Obninsk (near Moscow), August 30 - September 4, 1993; in St.Petersburg, September 12-15, 1995; in Yaroslavl September 9-12, 1997; and in Pushkin (near St.Petersburg) from September 6-10, 1999. The PaCT proceedings are published by Springer- Verlag in the LNCS series. PaCT-2001 was jointly organized by the Institute of Computational Mat- maticsandMathematicalGeophysicsoftheRussianAcademyofSciences(No- sibirsk), the State University, and the State Technical University of Novosibirsk. The purpose of the conference was to bring together scientists working with theory, architecture, software, hardware, and solution of large-scale problems in order to provide integrated discussions on parallel computing technologies. The conference attracted about 100 participants from around the world.
- thors from 17 countries submitted 81 papers. Of those submitted, 36 papers were selected for the conference as regular ones; there were also 4 invited - pers. In addition there were a number of posters presented. All the papers were internationally reviewed by at least three referees. As usual a demo session was organized for the participants.
- thors from 17 countries submitted 81 papers. Of those submitted, 36 papers were selected for the conference as regular ones; there were also 4 invited - pers. In addition there were a number of posters presented. All the papers were internationally reviewed by at least three referees. As usual a demo session was organized for the participants.
More details
Series
Edition
2001 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XII, 524 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 29 mm
Weight
803 gr
ISBN-13
978-3-540-42522-9 (9783540425229)
DOI
10.1007/3-540-44743-1
Schweitzer Classification
Other editions
Additional editions
Victor Malyshkin
Parallel Computing Technologies
6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings
E-Book
06/2003
Springer
€53.49
Available for download
Content
Theory.- 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 3/z 3] Reduction Procedure for Determining the Maximum Degree of Parallelism in Parallel Applications.- Software and Architecture.- 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.- On Using SPiDER to Examine and Debug Real-World Data-Parallel Applications.- Experimental Version of Parallel Programs Translator from Petri Nets to C++.- Typing the ISA to Cluster the Processor.- Send-Recv Considered Harmful? Myths and Truths about Parallel Programming.- UNICORE: A Grid Computing Environment for Distributed and Parallel Computing.- Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element Method.- Concurrent Implementation of Structurally Synthesized Programs.- An Associative Version of the Bellman-Ford Algorithm for Finding the Shortest Paths in Directed Graphs.- Fusion of Concurrent Invocations of Exclusive Methods.- Computational Portal: Remote Access to High-Performance Computing.- Event Logic Programming.- Techniques for Increasing Performance of CORBA Parallel Distributed Applications.- Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System.- Communication Interface CoIn.- Design of a Tool for Providing Dynamic Network Information to an Application.- Compilation Principle of a Specification Language Dedicated to Signal Processing.- An Approach to Composing Parallel Programs.- Web-Based Parallel Simulation of AGVs Using Java and JINI.- Applications.- On the Parallelezation of Domain Decomposition Methods for 3-D Boundary Value Problems.- Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata.- Parallel Simulation of 3D Incompressible Flows and Performance Comparison for Several MPP and Cluster Platforms.- Distributed Simulation of Hybrid Systems with HLA Support.- Application of the Parallel Computing Technology to a Wave Front Model Using the Finite Element Method.- A General Parallel Computing Approach Using the Finite Element Method and the Objects Oriented Programming by Selected Data Technique.- Parallel Implementation of a Corrected DSMC Method.- Parallel Algorithms for Non-stationary Problems: Survey of New Generation of Explicit Schemes.- Tool Environments in CORBA-Based Medical High Performance Computing.- Parallel Algorithms for the Analysis of Biological Sequences.-Some Parallel Monte Carlo Algorithms.- Implementation of the Parallel Four Points Modified Explicit Group Iterative Algorithm on Shared Memory Parallel Computer.- A Parallel Expressed Sequence Tag (EST) Clustering Program.- Protein Sequence Comparison on the Instruction Systolic Array.- SCI-Based LINUX PC-Clusters as a Platform for Electromagnetic Field Calculations.