default search action
6. PaCT 2001: Novosibirsk, Russia
- Victor E. Malyshkin:
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
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 - Frank Hannig, Jürgen Teich:
Design Space Exploration for Massively Parallel Processor Arrays. 51-65 - Rolf Hoffmann, Klaus-Peter Völkmann, Stefan Waldschmidt, Wolfgang Heenes:
GCA: Global Cellular Automata. A Flexible Parallel Model. 66-73 - Valentina P. 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 G. 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 B. 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 I. 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 - Evgeniy A. Golenkov, A. S. Sokolov, George V. Tarasov, Dmitriy 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 P. Kopysov, Alexander K. 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 - Rafael Ramírez, Andrew E. Santosa:
Event Logic Programming. 314-318 - 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 - Evgueni Sidorov, Sergey Bobkov, Aryashev Aryashev:
Communication Interface CoIn. 344-349 - 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 - Lars-Erik Thorelli, Vladimir Vlassov:
An Approach to Composing Parallel Programs. 371-378 - 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 G. 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 - Svetlana Ignattieva, Vladimir Memnonov:
Parallel Implementation of a Corrected DSMC Method. 436-441 - 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 Bin 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.