Parallel Computing Technologies 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2001.
|
| Έκδοση: | 1st ed. 2001. |
| Σειρά: | Lecture Notes in Computer Science,
2127 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
