Parallel Computing Technologies 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Malyshkin, Victor (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2763
• Θέματα: Engineering.; Software engineering.; Computer organization.; Computers.; Algorithms.; Computer simulation.; Engineering, general.; Software Engineering/Programming and Operating Systems.; Computer Systems Organization and Communication Networks.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Simulation and Modeling.

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...

Πίνακας περιεχομένων:

• 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-V Architecture
• 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.