Parallel Computing Technologies: 7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003. Proceedings

Front Matter....Pages -
Mapping Affine Loop Nests: Solving of the Alignment and Scheduling Problems....Pages 1-9
Situated Cellular Agents in Non-uniform Spaces....Pages 10-19
Accuracy and Stability of Spatial Dynamics Simulation by Cellular Automata Evolution....Pages 20-34
Resource Similarities in Petri Net Models of Distributed Systems....Pages 35-48
Authentication Primitives for Protocol Specifications....Pages 49-65
An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks....Pages 66-75
Parallel Computing for Globally Optimal Decision Making....Pages 76-88
Parallelization of Alternating Direction Implicit Methods for Three-Dimensional Domains....Pages 89-99
Interval Approach to Parallel Timed Systems Verification....Pages 100-116
An Approach to Assessment of Heterogeneous Parallel Algorithms....Pages 117-129
A Hierarchy of Conditions for Asynchronous Interactive Consistency....Pages 130-140
Associative Parallel Algorithms for Dynamic Edge Update of Minimum Spanning Trees....Pages 141-150
The Renaming Problem as an Introduction to Structures for Wait-Free Computing....Pages 151-164
Graph Partitioning in Scientific Simulations: Multilevel Schemes versus Space-Filling Curves....Pages 165-179
Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis....Pages 180-184
Optimization of the Communications between Processors in a General Parallel Computing Approach Using the Selected Data Technique....Pages 185-196
Load Imbalance in Parallel Programs....Pages 197-206
Software Carry-Save: A Case Study for Instruction-Level Parallelism....Pages 207-214
A Polymorphic Type System for Bulk Synchronous Parallel ML....Pages 215-229
Towards an Efficient Functional Implementation of the NAS Benchmark FT....Pages 230-235
Asynchronous Parallel Programming Language Based on the Microsoft .NET Platform....Pages 236-243
A Fast Pipelined Parallel Ray Casting Algorithm Using Advanced Space Leaping Method....Pages 244-252
Formal Modeling for a Real-Time Scheduler and Schedulability Analysis....Pages 253-258
Disk I/O Performance Forecast Using Basic Prediction Techniques for Grid Computing....Pages 259-269
Glosim: Global System Image for Cluster Computing....Pages 270-275
Exploiting Locality in Program Graphs....Pages 276-290
Asynchronous Timed Multimedia Environments Based on the Coordination Paradigm....Pages 291-303
Component-Based Development of Dynamic Workflow Systems Using the Coordination Paradigm....Pages 304-315
A Multi-threaded Asynchronous Language....Pages 316-323
An Efficient Marshaling Framework for Distributed Systems....Pages 324-331
Deciding Optimal Information Dispersal for Parallel Computing with Failures....Pages 332-335
Parallel Unsupervised k -Windows: An Efficient Parallel Clustering Algorithm....Pages 336-344
Analysis of Architecture and Design of Linear Algebra Kernels for Superscalar Processors....Pages 345-353
Numerical Simulation of Self-Organisation in Gravitationally Unstable Media on Supercomputers....Pages 354-368
Communication-Efficient Parallel Gaussian Elimination....Pages 369-383
Alternative Parallelization Strategies in EST Clustering....Pages 384-393
Protective Laminar Composites Design Optimisation Using Genetic Algorithm and Parallel Processing....Pages 394-400
A Prototype Grid System Using Java and RMI....Pages 401-414
Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons....Pages 415-428
An Extended ANSI C for Multimedia Processing....Pages 429-443
The Parallel Debugging Architecture in the Intel ® Debugger....Pages 444-451
Retargetable and Tuneable Code Generation for High Performance DSP....Pages 452-466
The Instruction Register File....Pages 467-481
A High Performance and Low Cost Cluster-Based E-mail System....Pages 482-496
The Presentation of Information in mpC Workshop Parallel Debugger....Pages 497-502
Grid-Based Parallel and Distributed Simulation Environment....Pages 503-508
Distributed Object-Oriented Web-Based Simulation....Pages 509-518
GEPARD – General Parallel Debugger for MVS-1000/M....Pages 519-523
Development of Distributed Simulation System....Pages 524-527
CMDE: A Channel Memory Based Dynamic Environment for Fault-Tolerant Message Passing Based on MPICH-V Architecture....Pages 528-537
 DAxML : A Program for Distributed Computation of Phylogenetic Trees Based on Load Managed CORBA....Pages 538-548
D-SAB: A Sparse Matrix Benchmark Suite....Pages 549-554
DOVE-G: Design and Implementation of Distributed Object-Oriented Virtual Environment on Grid....Pages 555-567
Back Matter....Pages -