7. PaCT 2003: Novosibirsk, Russia

Theory

• Evgeniya V. Adutskevich, Nickolai A. Likhoded:
  Mapping Affine Loop Nests: Solving of the Alignment and Scheduling Problems. 1-9
  
• Stefania Bandini, Sara Manzoni, Carla Simone:
  Situated Cellular Agents in Non-uniform Spaces. 10-19
  
• Olga L. Bandman:
  Accuracy and Stability of Spatial Dynamics Simulation by Cellular Automata Evolution. 20-34
  
• Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami:
  Authentication Primitives for Protocol Specifications. 49-65
  
• Dmitry J. Chaly, Valery A. Sokolov:
  An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks. 66-75
  
• Victor P. Gergel, Roman G. Strongin:
  Parallel Computing for Globally Optimal Decision Making. 76-88
  
• Valeri P. Il'in, Svetlana A. Litvinenko, V. M. Sveshnikov:
  Parallelization of Alternating Direction Implicit Methods for Three-Dimensional Domains. 89-99
  
• Yuri Karpov, Dmitry Sotnikov:
  Interval Approach to Parallel Timed Systems Verification. 100-116
  
• Alexey L. Lastovetsky, Ravi Reddy:
  An Approach to Assessment of Heterogeneous Parallel Algorithms. 117-129
  
• Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
  A Hierarchy of Conditions for Asynchronous Interactive Consistency. 130-140
  
• A. S. Nepomniaschaya:
  Associative Parallel Algorithms for Dynamic Edge Update of Minimum Spanning Trees. 141-159
  
• Michel Raynal:
  The Renaming Problem as an Introduction to Structures for Wait-Free Computing. 151-164
  
• Stefan Schamberger, Jens-Michael Wierum:
  Graph Partitioning in Scientific Simulations: Multilevel Schemes versus Space-Filling Curves. 165-179
  
• Hee-Jun Yoo, Jin-Young Choi:
  Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis. 180-184
  

Software

• Hervé Bolvin, André Chambarel, Dominique Fougère, Petr Gladkikh:
  Optimization of the Communications between Processors in a General Parallel Computing Approach Using the Selected Data Technique. 185-196
  
• Maria Calzarossa, Luisa Massari, Daniele Tessera:
  Load Imbalance in Parallel Programs. 197-206
  
• David Defour, Florent de Dinechin:
  Software Carry-Save: A Case Study for Instruction-Level Parallelism. 207-214
  
• Frédéric Gava, Frédéric Loulergue:
  A Polymorphic Type System for Bulk Synchronous Parallel ML. 215-229
  
• Clemens Grelck, Sven-Bodo Scholz:
  Towards an Efficient Functional Implementation of the NAS Benchmark FT. 230-235
  
• Hyung-Jun Kim, Yong-Je Woo, Yong-won Kwon, So-Hyun Ryu, Chang-Sung Jeong:
  A Fast Pipelined Parallel Ray Casting Algorithm Using Advanced Space Leaping Method. 244-252
  
• Sung-Jae Kim, Jin-Young Choi:
  Formal Modeling for a Real-Time Scheduler and Schedulability Analysis. 253-258
  
• DongWoo Lee, Rudrapatna S. Ramakrishna:
  Disk I/O Performance Forecast Using Basic Prediction Techniques for Grid Computing. 259-269
  
• Hai Jin, Guo Li, Zongfen Han:
  Glosim: Global System Image for Cluster Computing. 270-275
  
• Joford T. Lim, Ali R. Hurson, Larry D. Pritchett:
  Exploiting Locality in Program Graphs. 276-290
  
• George A. Papadopoulos:
  Asynchronous Times Multimedia Environments Based on the Coordination Paradigm. 291-303
  
• George A. Papadopoulos, George Fakas:
  Component-Based Development of Dynamic Workflow Systems Using the Coordination Paradigm. 304-315
  
• Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva:
  A Multi-threaded Asynchronous Language. 316-323
  
• Konstantin Popov, Vladimir Vlassov, Per Brand, Seif Haridi:
  An Efficient Marshaling Framework for Distributed Systems. 324-331
  
• Sung-Keun Song, Hee Yong Youn, Jong-Koo Park:
  Deciding Optimal Information Dispersal for Parallel Computing with Failures. 332-335
  
• Dimitris K. Tasoulis, Panagiotis Alevizos, Basilis Boutsinas, Michael N. Vrahatis:
  Parallel Unsupervised k-Windows: An Efficient Parallel Clustering Algorithm. 336-344
  

Applications

• Oleg Bessonov, Dominique Fougère, Bernard Roux:
  Analysis of Architecture and Design of Linear Algebra Kernels for Superscalar Processors. 345-353
  
• Elvira A. Kuksheva, Victor E. Malyshkin, Serguei A. Nikitin, Alexei V. Snytnikov, Valery N. Snytnikov, Vitalii A. Vshivkov:
  Numerical Simulation of Self-Organisation in Gravitationally Unstable Media on Supercomputers. 354-368
  
• Alexandre Tiskin:
  Communication-Efficient Parallel Gaussian Elimination. 369-383
  
• Nishank Trivedi, Kevin T. Pedretti, Terry A. Braun, Todd E. Scheetz, Thomas L. Casavant:
  Alternative Parallelization Strategies in EST Clustering. 384-393
  
• Mikhail Alexandrovich Vishnevsky, Vladimir Dmitrievich Koshur, Alexander Ivanovich Legalov, Eugenij Moiseevich Mirkes:
  Protective Laminar Composites Design Optimisation Using Genetic Algorithm and Parallel Processing. 394-400
  

Tools

• Martin Alt, Sergei Gorlatch:
  A Prototype Grid System Using Java and RMI. 401-414
  
• Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann:
  Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons. 415-428
  
• Patricio Bulic, Veselko Gustin, Ljubo Pipan:
  An Extended ANSI C for Multimedia Processing. 429-443
  
• Chih-Ping Chen:
  The Parallel Debugging Architecture in the Intel Debugger. 444-451
  
• Anatoly E. Doroshenko, Dmitry Ragozin:
  Retargetable and Tuneable Code Generation for High Performance DSP. 452-466
  
• Bernard Goossens:
  The Instruction Register File. 467-481
  
• Woo-Chul Jeun, Yang-Suk Kee, Jin-Soo Kim, Soonhoi Ha:
  A High Performance and Low Cost Cluster-Based E-mail System. 482-496
  
• Alexey Kalinov, Konstantin Karganov, V. Khatzkevich, K. V. Khorenko, Ilya Ledovskih, D. Morozov, S. Savchenko:
  The Presentation of Information in mpC Workshop Parallel Debugger. 497-502
  
• Chang-Hoon Kim, Tae-Dong Lee, Sun-Chul Hwang, Chang-Sung Jeong:
  Grid-Based Parallel and Distributed Simulation Environment. 503-508
  
• Victor Okol'nishnikov, Sergey Rudometov:
  Development of Distributed Simulation System. 524-527
  
• Anton Selikhov, Cécile Germain:
  CMDE: A Channel Memory Based Dynamic Environment for Fault-Tolerant Message Passing Based on MPICH-V Architecture. 528-537
  
• Alexandros Stamatakis, Markus Lindermeier, Michael Ott, Thomas Ludwig, Harald Meier:
  DAxML: A Program for Distributed Computation of Phylogenetic Trees Based on Load Managed CORBA. 538-548
  
• Pyrrhos Stathis, Stamatis Vassiliadis, Sorin Cotofana:
  D-SAB: A Sparse Matrix Benchmark Suite. 549-554
  
• Young-Je Woo, Chang-Sung Jeong:
  DOVE-G: Design and Implementation of Distributed Object-Oriented Virtual Environment on Grid. 555-567