+612 9045 4394
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Parallel Computing Technologies : 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings - Victor Malyshkin

Parallel Computing Technologies

7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings

By: Victor Malyshkin (Editor)

Paperback Published: 21st August 2003
ISBN: 9783540406730
Number Of Pages: 574

Share This Book:


or 4 easy payments of $42.43 with Learn more
Ships in 10 to 15 business days

Earn 339 Qantas Points
on this Book

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

Mapping Affine Loop Nests: Solving of the Alignment and Scheduling Problemsp. 1
Situated Cellular Agents in Non-uniform Spacesp. 10
Accuracy and Stability of Spatial Dynamics Simulation by Cellular Automata Evolutionp. 20
Resource Similarities in Petri Net Models of Distributed Systemsp. 35
Authentication Primitives for Protocol Specificationsp. 49
An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networksp. 66
Parallel Computing for Globally Optimal Decision Makingp. 76
Parallelization of Alternating Direction Implicit Methods for Three-Dimensional Domainsp. 89
Interval Approach to Parallel Timed Systems Verificationp. 100
An Approach to Assessment of Heterogeneous Parallel Algorithmsp. 117
A Hierarchy of Conditions for Asynchronous Interactive Consistencyp. 130
Associative Parallel Algorithms for Dynamic Edge Update of Minimum Spanning Treesp. 141
The Renaming Problem as an Introduction to Structures for Wait-Free Computingp. 151
Graph Partitioning in Scientific Simulations: Multilevel Schemes versus Space-Filling Curvesp. 165
Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysisp. 180
Optimization of the Communications between Processors in a General Parallel Computing Approach Using the Selected Data Techniquep. 185
Load Imbalance in Parallel Programsp. 197
Software Carry-Save: A Case Study for Instruction-Level Parallelismp. 207
A Polymorphic Type System for Bulk Synchronous Parallel MLp. 215
Towards an Efficient Functional Implementation of the NAS Benchmark FTp. 230
Asynchronous Parallel Programming Language Based on the Microsoft .NET Platformp. 236
A Fast Pipelined Parallel Ray Casting Algorithm Using Advanced Space Leaping Methodp. 244
Formal Modeling for a Real-Time Scheduler and Schedulability Analysisp. 253
Disk I/O Performance Forecast Using Basic Prediction Techniques for Grid Computingp. 259
Glosim: Global System Image for Cluster Computingp. 270
Exploiting Locality in Program Graphsp. 276
Asynchronous Timed Multimedia Environments Based on the Coordination Paradigmp. 291
Component-Based Development of Dynamic Workflow Systems Using the Coordination Paradigmp. 304
A Multi-threaded Asynchronous Languagep. 316
An Efficient Marshaling Framework for Distributed Systemsp. 324
Deciding Optimal Information Dispersal for Parallel Computing with Failuresp. 332
Parallel Unsupervised k-Windows: An Efficient Parallel Clustering Algorithmp. 336
Analysis of Architecture and Design of Linear Algebra Kernels for Superscalar Processorsp. 345
Numerical Simulation of Self-Organisation in Gravitationally Unstable Media on Supercomputersp. 354
Communication-Efficient Parallel Gaussian Eliminationp. 369
Alternative Parallelization Strategies in EST Clusteringp. 384
Protective Laminar Composites Design Optimisation Using Genetic Algorithm and Parallel Processingp. 394
A Prototype Grid System Using Java and RMIp. 401
Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletonsp. 415
An Extended ANSI C for Multimedia Processingp. 429
The Parallel Debugging Architecture in the Intel Debuggerp. 444
Retargetable and Tuneable Code Generation for High Performance DSPp. 452
The Instruction Register Filep. 467
A High Performance and Low Cost Cluster-Based E-mail Systemp. 482
The Presentation of Information in mpC Workshop Parallel Debuggerp. 497
Grid-Based Parallel and Distributed Simulation Environmentp. 503
Distributed Object-Oriented Web-Based Simulationp. 509
GEPARD - General Parallel Debugger for MVS-1000/Mp. 519
Development of Distributed Simulation Systemp. 524
CMDE: A Channel Memory Based Dynamic Environment for Fault-Tolerant Message Passing Based on MPICH-V Architecturep. 528
DAxML: A Program for Distributed Computation of Phylogenetic Trees Based on Load Managed CORBAp. 538
D-SAB: A Sparse Matrix Benchmark Suitep. 549
DOVE-G: Design and Implementation of Distributed Object-Oriented Virtual Environment on Gridp. 555
Author Indexp. 569
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540406730
ISBN-10: 3540406735
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 574
Published: 21st August 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 3.02
Weight (kg): 0.81

Earn 339 Qantas Points
on this Book