Parallel computing technologies : 7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003. Proceedings
The PaCT-2003 (Parallel Computing Technologies) conference was a four-day conference held in Nizhni Novgorod on September 15 19, 2003. This was the 7th international conference of the PaCT series, organized in Russia every odd year. The ?rst conference, PaCT-91, was held in Novosibirsk (Academgorodo...
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
201X.
Berlin [etc.] : |
| Sarja: | Lecture notes in computer science
2763 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Parallel computing technologies, 7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003, proceedings, Victor Malyshkin (ed.), Berlin, Springer, 2003, 1 vol. (XIII-570 p.), Lecture notes in computer science, 3-540-40673-5 • Parallel Computing Technologies, Texte imprimé, 9783662163436 |
Sisällysluettelo:
- Theory
- Mapping Affine Loop Nests: Solving of the Alignment and Scheduling Problems
- Situated Cellular Agents in Non-uniform Spaces
- Accuracy and Stability of Spatial Dynamics Simulation by Cellular Automata Evolution
- Resource Similarities in Petri Net Models of Distributed Systems
- Authentication Primitives for Protocol Specifications
- An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks
- Parallel Computing for Globally Optimal Decision Making
- Parallelization of Alternating Direction Implicit Methods for Three-Dimensional Domains
- Interval Approach to Parallel Timed Systems Verification
- An Approach to Assessment of Heterogeneous Parallel Algorithms
- A Hierarchy of Conditions for Asynchronous Interactive Consistency
- Associative Parallel Algorithms for Dynamic Edge Update of Minimum Spanning Trees
- The Renaming Problem as an Introduction to Structures for Wait-Free Computing
- Graph Partitioning in Scientific Simulations: Multilevel Schemes versus Space-Filling Curves
- Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis
- Software
- Optimization of the Communications between Processors in a General Parallel Computing Approach Using the Selected Data Technique
- Load Imbalance in Parallel Programs
- Software Carry-Save: A Case Study for Instruction-Level Parallelism
- A Polymorphic Type System for Bulk Synchronous Parallel ML
- Towards an Efficient Functional Implementation of the NAS Benchmark FT
- Asynchronous Parallel Programming Language Based on the Microsoft .NET Platform
- A Fast Pipelined Parallel Ray Casting Algorithm Using Advanced Space Leaping Method
- Formal Modeling for a Real-Time Scheduler and Schedulability Analysis
- Disk I/O Performance Forecast Using Basic Prediction Techniques for Grid Computing
- Glosim: Global System Image for Cluster Computing
- Exploiting Locality in Program Graphs
- Asynchronous Timed Multimedia Environments Based on the Coordination Paradigm
- Component-Based Development of Dynamic Workflow Systems Using the Coordination Paradigm
- A Multi-threaded Asynchronous Language
- An Efficient Marshaling Framework for Distributed Systems
- Deciding Optimal Information Dispersal for Parallel Computing with Failures
- Parallel Unsupervised k-Windows: An Efficient Parallel Clustering Algorithm
- Applications
- Analysis of Architecture and Design of Linear Algebra Kernels for Superscalar Processors
- Numerical Simulation of Self-Organisation in Gravitationally Unstable Media on Supercomputers
- Communication-Efficient Parallel Gaussian Elimination
- Alternative Parallelization Strategies in EST Clustering
- Protective Laminar Composites Design Optimisation Using Genetic Algorithm and Parallel Processing
- Tools
- A Prototype Grid System Using Java and RMI
- Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons
- An Extended ANSI C for Multimedia Processing
- The Parallel Debugging Architecture in the Intel® Debugger
- Retargetable and Tuneable Code Generation for High Performance DSP
- The Instruction Register File
- A High Performance and Low Cost Cluster-Based E-mail System
- The Presentation of Information in mpC Workshop Parallel Debugger
- Grid-Based Parallel and Distributed Simulation Environment
- Distributed Object-Oriented Web-Based Simulation
- GEPARD General Parallel Debugger for MVS-1000/M
- Development of Distributed Simulation System
- CMDE: A Channel Memory Based Dynamic Environment for Fault-Tolerant Message Passing Based on MPICH-VArchitecture
- DAxML: A Program for Distributed Computation of Phylogenetic Trees Based on Load Managed CORBA
- D-SAB: A Sparse Matrix Benchmark Suite
- DOVE-G: Design and Implementation of Distributed Object-Oriented Virtual Environment on Grid.