6. PaCT 2001: Novosibirsk, Russia
Victor E. Malyshkin (Ed.): Parallel Computing Technologies, 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science ISBN 3-540-42522-5
Theory
- Olga L. Bandman: A Hybrid Approach to Reaction-Diffusion Processes Simulation. 1-16
- 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
- Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for Secrecy and Non-interference in Networks of Processes. 27-41
- Francisco Vilar Brasileiro, Fabíola Greve, Achour Mostéfaoui, Michel Raynal: Consensus in One Communication Step. 42-50
- Rolf Hoffmann, Klaus-Peter Völkmann, Stefan Waldschmidt, Wolfgang Heenes: GCA: Global Cellular Automata. A Flexible Parallel Model. 66-73
- Valentina Markova: Cellular-Pipelined Algorithm Architecture for Polynomial Computing. 74-79
- Nicola Mazzocca, Massimiliano Rak, Umberto Villano: MetaPL: A Notation System for Parallel Program Description and Performance Analysis. 80-93
- Sergey Pudov: First-Order 2D Cellular Neural Networks Investigation and Learning. 94-97
- Michel Raynal: Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles. 98-111
- K. Segun, Ali R. Hurson, Amanda Spink: A Transaction Processing Model for the Mobile Data Access System. 112-127
- Irina Virbitskaite: Characterizing Timed Net Processes Categorically. 128-141
- Natalya Vodovoz: Mapping Heterogeneous Task Graphs onto Networks: Execution Time Optimization. 142-149
- Igor V. Zotov, Vitaliy S. Titov: An O[n3/ z3] Reduction Procedure for Determining the Maximum Degree of Parallelism in Parallel Applications. 150-159
Software and Architecture
- Igor V. Alekseev, Valery A. Sokolov: ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks. 159-174
- Arutyun Avetisyan, Serguei Gaissaryan, Oleg Samovarov: Extension of Java Environment by Facilities Supporting Development of SPMD Java-Programs. 175-180
- Lyudmila K. Babenko, Alexander G. Chefranov, P. A. Fedorov, A. Yu. Korobko, Oleg B. Makarevich: Mechanisms of Parallel Computing Organization for NeuroCluster. 181-185
- Lyudmila K. Babenko, Alexander G. Chefranov, R. V. Trotsenko: Parallel SPMD-Tasks Graph Description Language for Network Clusters. 186-189
- Françoise Baude, Denis Caromel, Nathalie Furmento, David Sagnol: Optimizing Metacomputing with Communication-Computation Overlap. 190-204
- Paolo Ciancarini, Davide Rossi: WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility. 205-210
- Thomas Fahringer, Krzysztof Sowa-Pieklo, J. Luitz, Hans Moritsch: On Using SPiDER to Examine and Debug Real-World Data-Parallel Applications. 211-225
- 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
- Bernard Goossens: Typing the ISA to Cluster the Processor. 232-242
- Sergei Gorlatch: Send-Recv Considered Harmful? Myths and Truths about Parallel Programming. 243-257
- Valentina Huber: UNICORE: A Grid Computing Environment for Distributed and Parallel Computing. 258-265
- Sergey Kopyssov, Alexander Novikov: Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element Method. 266-276
- Sven Lämmermann, Enn Tyugu, Vladimir Vlassov: Concurrent Implementation of Structurally Synthesized Programs. 277-284
- A. S. Nepomniaschaya: An Associative Version of the Bellman-Ford Algorithm for Finding the Shortest Paths in Directed Graphs. 285-292
- Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa: Fusion of Concurrent Invocations of Exclusive Methods. 293-307
- Vladimir V. Prokhorov: Computational Portal: Remote Access to High-Performance Computing. 308-313
- Ruslan Shevchenko, Anatoly E. Doroshenko: Techniques for Increasing Performance of CORBA Parallel Distributed Applications. 319-328
- Wolfgang Schreiner: Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System. 329-343
- Masha Sosonkina, Gan Chen: Design of a Tool for Providing Dynamic Network Information to an Application. 350-357
- Julien Soula, Philippe Marquet, Alain Demeure, Jean-Luc Dekeyser: Compilation Principle of a Specification Language Dedicated to Signal Processing. 358-370
- Rong Ye, Wen-Jing Hsu, Zehua Liu: Web-Based Parallel Simulation of AGVs Using Java and JINI. 379-384
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
- Stefania Bandini, Giancarlo Mauri, Giulio Pavesi: Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata. 391-400
- Oleg Bessonov, Dominique Fougère, Bernard Roux: Parallel Simulation of 3D Incompressible Flows and Performance Comparison for Several MPP and Cluster Platforms. 401-409
- Andrei Borshchev, Yuri Karpov, Pavel Lebedev: Distributed Simulation of Hybrid Systems with HLA Support. 410-420
- André Chambarel, Hervé Bolvin: Application of the Parallel Computing Technology to a Wave Front Model Using the Finite Element Method. 421-427
- 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
- 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
- Thomas Ludwig, Markus Lindermeier, Alexandros Stamatakis, Günther Rackl: Tool Environments in CORBA-Based Medical High Performance Computing. 447-455
- Giancarlo Mauri, Giulio Pavesi: Parallel Algorithms for the Analysis of Biological Sequences. 456-468
- G. A. Mikhailov: Some Parallel Monte Carlo Algorithms. 469-479
- Mohamed Othman, Abdul Rahman Abdullah: Implementation of the Parallel Four Points Modified Explicit Group Iterative Algorithm on Shared Memory Parallel Computer. 480-489
- 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
- Bertil Schmidt, Heiko Schröder, Manfred Schimmler: Protein Sequence Comparison on the Instruction Systolic Array. 498-509
- Carsten Trinitis, Martin Schulz, Michael Eberl, Wolfgang Karl: SCI-Based LINUX PC-Clusters as a Platform for Electromagnetic Field Calculations. 510-514
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team