Parallel Computing Technologies （并行计算技术）

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community,with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available.
The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes
- proceedings (published in time for the respective conference)
- post-proceedings (consisting of thoroughly revised final full papers)
- research m0nographs (which may be based on outstanding PhD work,research projects, technical reports, etc.)

在线阅读本书

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.

Theory
A Hybrid Approach to Reaction-Diffusion Processes Simulation
O. Bandman
Formal Verification of Coherence for a Shared Memory Multiprocessor Model
M. Barrio-Solorzano, M.E. Beato, C.E. Cuesta, and P. de la Fuente
Static Analysis for Secrecy and Non-interference in Networks of Processes
C. Bodei, P. Degano, F. Nielson, and H.R. Nielson
Consensus in One Communication Step
F. Brasileiro, F. Greve, A. Mostefaoui, and M. Raynal
Design Space Exploration for Massively Parallel Processor Arrays
F. Hannig and J. Teich
GCA: Global Cellular Automata. A Flexible Parallel Model
R. Hoffmann, K.-P. VSlkmann, S. Waldschmidt, and W. Heenes
Cellular-Pipelined Algorithm Architecture for Polynomial Computing
V. Markova
MetaPL: A Notation System for Parallel Program Description and Performance Analysis
N. Mazzocca, M. Rak, and U. Villano
First-Order 2D Cellular Neural Networks Investigation and Learning
S. Pudov
Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles
M. Raynal
A Transaction Processing Model for the Mobile Data Access System
K. Segun, A.R. Hurson, and A. Spink
Characterizing Timed Net Processes Categorically
L.B. Virbitskaite
Mapping Heterogeneous Task Graphs onto Networks:Execution Time Optimization
N. Vodovoz
An O[n3/z3] Reduction Procedure for Determining the Maximum Degree of Parallelism in Parallel Applications
I.V. Zotov and V.S. Titov
Software and Architecture
ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks
I.V. Alekseev and V.A. Sokolov
Extension of Java Environment by Facilities Supporting Development of SPMD Java-Programs
A. Avetisyan, S. Gaissaryan, and O. Samovarov
Mechanisms of Parallel Computing Organization for NeuroCluster
L.K. Babenko, A.G. Chefranov, P.A. Fedorov, A. Yu. Korobko,and O.B. Makarevich
Parallel SPMD-Tasks Graph Description Language for Network Clusters
L.K. Babenko, A.G. Chefranov, and R. V. Trotsenko
Optimizing Metacomputing with Communication-Computation Overlap
F. Baude, D. Caromel, N. Furmento, and D. Sagnol
WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility
P. Ciancarini and D. Rossi
On Using SPIDER to Examine and Debug Real-World Data-Parallel Applications
T. Fahringer, K. Sowa-Pieklo, J. Luitz, and H. Moritsch
Experimental Version of Parallel Programs Translator from Petri Nets to C++
E.A. Golenkov, A.S. Sokolov, G. V. Tarasov, and D.L Kharitonov
Typing the ISA to Cluster the Processor
B. Goossens
Send-Recv Considered Harmful?Myhs and Truths about Parallel Programming
S. Gorlatch (invited paper)
UNICORE: A Grid Computing Environment for Distributed and Parallel Computing
V. Huber
Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element Method
S. Kopyssov and A. Novikov
……
Applications
Author Index