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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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 (Academgorodok), September 7–11, 1991. The next PaCT conferences were held in: Obninsk (near Moscow),30August–4September,1993;St.Petersburg,September12–15,1995; Yaroslavl, September 9–12, 1997; Pushkin (near St. Petersburg) September 6– 10, 1999; and Akademgorodok (Novosibirsk), September 3–7, 2001. The PaCT proceedings are published by Springer-Verlag in the LNCS series. PaCT-2003 was jointly organized by the Institute of Computational - thematics and Mathematical Geophysics of the Russian Academy of Sciences (Novosibirsk) and the State University of Nizhni Novgorod. The purpose of the conference was to bring together scientists working with theory, architectures, software, hardware and solutions of large-scale problems in order to provide integrated discussions on Parallel Computing Technologies. Theconferenceattractedabout100participantsfromaroundtheworld.Authors from 23 countries submitted 78 papers. Of those submitted, 38 papers were selected for the conference as regular ones; there were also 4 invited papers. In addition,anumberofposterswerepresented.Allthepaperswereinternationally reviewed by at least three referees. As usual a demo session was organized for the participants. Many thanks to our sponsors: the Russian Academy of Sciences, the Russian Fund for Basic Research, the Russian State Committee of Higher Education, IBM and Intel (Intel laboratory in Nizhni Novgorod) for their ?nancial support. The organizers highly appreciate the help of the Association Antenne-Provence (France).

Author(s): Evgeniya V. Adutskevich, Nickolai A. Likhoded (auth.), Victor E. Malyshkin (eds.)
Series: Lecture Notes in Computer Science 2763
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003

Language: English
Pages: 574
Tags: Software Engineering/Programming and Operating Systems; Computer Systems Organization and Communication Networks; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Simulation and Modeling

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 -