6. PaCT 2001:
Novosibirsk,
Russia
Victor E. Malyshkin (Ed.):
Parallel Computing Technologies, 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings.
Lecture Notes in Computer Science 2127 Springer 2001, ISBN 3-540-42522-5 BibTeX
@proceedings{DBLP:conf/pact/2001,
editor = {Victor E. Malyshkin},
title = {Parallel Computing Technologies, 6th International Conference,
PaCT 2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings},
booktitle = {PaCT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2127},
year = {2001},
isbn = {3-540-42522-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Theory
- Olga L. Bandman:
A Hybrid Approach to Reaction-Diffusion Processes Simulation.
1-16
Electronic Edition (Springer LINK) BibTeX
- Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez, Carlos Enrique Cuesta Quintero, Pablo de la Fuente:
Formal Verification of Coherence for a Shared Memory Multiprocessor Model.
17-26
Electronic Edition (Springer LINK) BibTeX
- Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson:
Static Analysis for Secrecy and Non-interference in Networks of Processes.
27-41
Electronic Edition (Springer LINK) BibTeX
- Francisco Vilar Brasileiro, Fabíola Greve, Achour Mostéfaoui, Michel Raynal:
Consensus in One Communication Step.
42-50
Electronic Edition (Springer LINK) BibTeX
- Frank Hannig, Jürgen Teich:
Design Space Exploration for Massively Parallel Processor Arrays.
51-65
Electronic Edition (Springer LINK) BibTeX
- Rolf Hoffmann, Klaus-Peter Völkmann, Stefan Waldschmidt, Wolfgang Heenes:
GCA: Global Cellular Automata. A Flexible Parallel Model.
66-73
Electronic Edition (Springer LINK) BibTeX
- Valentina Markova:
Cellular-Pipelined Algorithm Architecture for Polynomial Computing.
74-79
Electronic Edition (Springer LINK) BibTeX
- Nicola Mazzocca, Massimiliano Rak, Umberto Villano:
MetaPL: A Notation System for Parallel Program Description and Performance Analysis.
80-93
Electronic Edition (Springer LINK) BibTeX
- Sergey Pudov:
First-Order 2D Cellular Neural Networks Investigation and Learning.
94-97
Electronic Edition (Springer LINK) BibTeX
- Michel Raynal:
Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles.
98-111
Electronic Edition (Springer LINK) BibTeX
- K. Segun, Ali R. Hurson, Amanda Spink:
A Transaction Processing Model for the Mobile Data Access System.
112-127
Electronic Edition (Springer LINK) BibTeX
- Irina Virbitskaite:
Characterizing Timed Net Processes Categorically.
128-141
Electronic Edition (Springer LINK) BibTeX
- Natalya Vodovoz:
Mapping Heterogeneous Task Graphs onto Networks: Execution Time Optimization.
142-149
Electronic Edition (Springer LINK) BibTeX
- Igor V. Zotov, Vitaliy S. Titov:
An O[n3/ z3] Reduction Procedure for Determining the Maximum Degree of Parallelism in Parallel Applications.
150-159
Electronic Edition (Springer LINK) BibTeX
Software and Architecture
- Igor V. Alekseev, Valery A. Sokolov:
ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks.
159-174
Electronic Edition (Springer LINK) BibTeX
- Arutyun Avetisyan, Serguei Gaissaryan, Oleg Samovarov:
Extension of Java Environment by Facilities Supporting Development of SPMD Java-Programs.
175-180
Electronic Edition (Springer LINK) BibTeX
- L. K. Babenko, A. G. Chefranov, P. A. Fedorov, A. Yu. Korobko, O. B. Makarevich:
Mechanisms of Parallel Computing Organization for NeuroCluster.
181-185
Electronic Edition (Springer LINK) BibTeX
- L. K. Babenko, A. G. Chefranov, R. V. Trotsenko:
Parallel SPMD-Tasks Graph Description Language for Network Clusters.
186-189
Electronic Edition (Springer LINK) BibTeX
- Françoise Baude, Denis Caromel, Nathalie Furmento, David Sagnol:
Optimizing Metacomputing with Communication-Computation Overlap.
190-204
Electronic Edition (Springer LINK) BibTeX
- Paolo Ciancarini, Davide Rossi:
WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility.
205-210
Electronic Edition (Springer LINK) BibTeX
- Thomas Fahringer, K. Sowa-Pieklo, J. Luitz, Hans Moritsch:
On Using SPiDER to Examine and Debug Real-World Data-Parallel Applications.
211-225
Electronic Edition (Springer LINK) BibTeX
- E. A. Golenkov, A. S. Sokolov, G. V. Tarasov, D. I. Kharitonov:
Experimental Version of Parallel Programs Translator from Petri Nets to C++.
226-231
Electronic Edition (Springer LINK) BibTeX
- Bernard Goossens:
Typing the ISA to Cluster the Processor.
232-242
Electronic Edition (Springer LINK) BibTeX
- Sergei Gorlatch:
Send-Recv Considered Harmful? Myths and Truths about Parallel Programming.
243-257
Electronic Edition (Springer LINK) BibTeX
- Valentina Huber:
UNICORE: A Grid Computing Environment for Distributed and Parallel Computing.
258-265
Electronic Edition (Springer LINK) BibTeX
- Sergey Kopyssov, Alexander Novikov:
Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element Method.
266-276
Electronic Edition (Springer LINK) BibTeX
- Sven Lämmermann, Enn Tyugu, Vladimir Vlassov:
Concurrent Implementation of Structurally Synthesized Programs.
277-284
Electronic Edition (Springer LINK) BibTeX
- A. S. Nepomniaschaya:
An Associative Version of the Bellman-Ford Algorithm for Finding the Shortest Paths in Directed Graphs.
285-292
Electronic Edition (Springer LINK) BibTeX
- Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa:
Fusion of Concurrent Invocations of Exclusive Methods.
293-307
Electronic Edition (Springer LINK) BibTeX
- Vladimir V. Prokhorov:
Computational Portal: Remote Access to High-Performance Computing.
308-313
Electronic Edition (Springer LINK) BibTeX
- Rafael Ramirez, Andrew E. Santosa:
Event Logic Programming.
314-318
Electronic Edition (Springer LINK) BibTeX
- Ruslan Shevchenko, Anatoly E. Doroshenko:
Techniques for Increasing Performance of CORBA Parallel Distributed Applications.
319-328
Electronic Edition (Springer LINK) BibTeX
- Wolfgang Schreiner:
Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System.
329-343
Electronic Edition (Springer LINK) BibTeX
- Evgueni Sidorov, Sergey Bobkov, Aryashev Aryashev:
Communication Interface CoIn.
344-349
Electronic Edition (Springer LINK) BibTeX
- Masha Sosonkina, Gan Chen:
Design of a Tool for Providing Dynamic Network Information to an Application.
350-357
Electronic Edition (Springer LINK) BibTeX
- Julien Soula, Philippe Marquet, Alain Demeure, Jean-Luc Dekeyser:
Compilation Principle of a Specification Language Dedicated to Signal Processing.
358-370
Electronic Edition (Springer LINK) BibTeX
- Lars-Erik Thorelli, Vladimir Vlassov:
An Approach to Composing Parallel Programs.
371-378
Electronic Edition (Springer LINK) BibTeX
- Rong Ye, Wen-Jing Hsu, Zehua Liu:
Web-Based Parallel Simulation of AGVs Using Java and JINI.
379-384
Electronic Edition (Springer LINK) BibTeX
Applications
- V. N. Babin, Valeri P. Il'in, A. S. Pylkin:
On the Parallelization of Domain Decomposition Methods for 3-D Boundary Value Problems.
385-390
Electronic Edition (Springer LINK) BibTeX
- Stefania Bandini, Giancarlo Mauri, Giulio Pavesi:
Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata.
391-400
Electronic Edition (Springer LINK) BibTeX
- Oleg Bessonov, Dominique Fougère, Bernard Roux:
Parallel Simulation of 3D Incompressible Flows and Performance Comparison for Several MPP and Cluster Platforms.
401-409
Electronic Edition (Springer LINK) BibTeX
- Andrei Borshchev, Yuri Karpov, Pavel Lebedev:
Distributed Simulation of Hybrid Systems with HLA Support.
410-420
Electronic Edition (Springer LINK) BibTeX
- André Chambarel, Hervé Bolvin:
Application of the Parallel Computing Technology to a Wave Front Model Using the Finite Element Method.
421-427
Electronic Edition (Springer LINK) BibTeX
- André Chambarel, Dominique Fougère:
A General Parallel Computing Approach Using the Finite Element Method and the Objects Oriented Programming by Selected Data Technique.
428-435
Electronic Edition (Springer LINK) BibTeX
- Svetlana Ignattieva, Vladimir Memnonov:
Parallel Implementation of a Corrected DSMC Method.
436-441
Electronic Edition (Springer LINK) BibTeX
- Yuri M. Laevsky, Polina V. Banushkina, Svetlana A. Litvinenko, Alexander A. Zotkevich:
Parallel Algorithms for Non-stationary Problems: Survey of New Generation of Explicit Schemes.
442-446
Electronic Edition (Springer LINK) BibTeX
- Thomas Ludwig, Markus Lindermeier, Alexandros Stamatakis, Günther Rackl:
Tool Environments in CORBA-Based Medical High Performance Computing.
447-455
Electronic Edition (Springer LINK) BibTeX
- Giancarlo Mauri, Giulio Pavesi:
Parallel Algorithms for the Analysis of Biological Sequences.
456-468
Electronic Edition (Springer LINK) BibTeX
- G. A. Mikhailov:
Some Parallel Monte Carlo Algorithms.
469-479
Electronic Edition (Springer LINK) BibTeX
- Mohamed Othman, Abdul Rahman Abdullah:
Implementation of the Parallel Four Points Modified Explicit Group Iterative Algorithm on Shared Memory Parallel Computer.
480-489
Electronic Edition (Springer LINK) BibTeX
- Kevin T. Pedretti, Todd E. Scheetz, Terry A. Braun, Chad A. Roberts, Natalie L. Robinson, Thomas L. Casavant:
A Parallel Expressed Sequence Tag (EST) Clustering Program.
490-497
Electronic Edition (Springer LINK) BibTeX
- Bertil Schmidt, Heiko Schröder, Manfred Schimmler:
Protein Sequence Comparison on the Instruction Systolic Array.
498-509
Electronic Edition (Springer LINK) BibTeX
- Carsten Trinitis, Martin Schulz, Michael Eberl, Wolfgang Karl:
SCI-Based LINUX PC-Clusters as a Platform for Electromagnetic Field Calculations.
510-514
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:32:17 2009
by Michael Ley (ley@uni-trier.de)