Parallel Computing Technologies: 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings, Volume 7Viktor Ėmmanuilovich Malyshkin 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). |
Contents
Theory | 1 |
Tools | 10 |
Accuracy and Stability of Spatial Dynamics Simulation by Cellular | 20 |
Resource Similarities in Petri Net Models of Distributed Systems | 35 |
Authentication Primitives for Protocol Specifications | 49 |
An Extensible Coloured Petri Net Model of a Transport Protocol | 66 |
Parallelization of Alternating Direction Implicit Methods | 89 |
An Approach to Assessment of Heterogeneous Parallel Algorithms | 117 |
ComponentBased Development of Dynamic Workflow Systems Using | 304 |
An Efficient Marshaling Framework for Distributed Systems | 324 |
Applications | 344 |
CommunicationEfficient Parallel Gaussian Elimination | 369 |
Alternative Parallelization Strategies in EST Clustering | 384 |
A Prototype Grid System Using Java and RMI | 401 |
Design and Implementation of a CostOptimal Parallel Tridiagonal | 415 |
An Extended ANSI C for Multimedia Processing | 429 |
A Hierarchy of Conditions for Asynchronous Interactive Consistency | 130 |
The Renaming Problem as an Introduction to Structures | 151 |
Process Algebraic Model of Superscalar Processor Programs | 180 |
Load Imbalance in Parallel Programs | 197 |
A Polymorphic Type System for Bulk Synchronous Parallel ML | 215 |
Towards an Efficient Functional Implementation of the | 230 |
A Fast Pipelined Parallel Ray Casting Algorithm Using Advanced | 244 |
Disk IO Performance Forecast Using Basic Prediction Techniques | 259 |
Exploiting Locality in Program Graphs | 276 |
Asynchronous Timed Multimedia Environments Based on | 291 |
The Parallel Debugging Architecture in the Intel Debugger | 444 |
The Instruction Register File | 467 |
A High Performance and Low Cost ClusterBased Email System | 482 |
The Presentation of Information in mpC Workshop Parallel Debugger | 497 |
GEPARD General Parallel Debugger for MVS1000M | 519 |
A Program for Distributed Computation | 538 |
A Sparse Matrix Benchmark Suite | 549 |
| 569 | |
Other editions - View all
Parallel Computing Technologies: 7th International Conference, PaCT 2003 ... Victor Malyshkin No preview available - 2003 |
Common terms and phrases
Abstract activity actor addition agents algorithm allows analysis application approach architecture array associated block cache called channel cluster communication compiler complex components computation condition consider consists construct coordination corresponding defined depends described different distributed dynamic edge elements environment evaluation example execution expression Figure first function given global graph Grid heterogeneous implementation initial input instruction interval introduced Italy iterations language layer load loop machine matrix means memory method multiplication nodes Note object obtained operations pair parallel partitions performance possible presented problem processors proposed protocol provides received References relation represented scheduling scheme server shown shows similar simulation solution solve space step structure synchronization Table task threads transition tree variables vector