Vol. 1277

Victor Malyshkin (Ed.)

Contents

Theory

• G.P. Agibalov. Parallel Computations on Finite Partially Ordered Sets. pp. 1-6
  
  
• L. Chen. Tight Lower Bounds for Computing Shortest Paths on Proper Interval and Bipartite Permutation Graphs. pp. 7-12
  
  
• R.D. Dietz, T.L. Casavant, T.E. Scheetz, T.A. Braun, M.S. Andersiand. Using Run-Time Uncertainty to Robustly Schedule Parallel Computation. pp. 13-24
  
  
• P. Hartmann. A Tuple-Based Data Structure for Distributed Parallel Processing of 3D Dynamic Meshes. pp. 25-39
  
  
• M.V. Khenner, D.V. Lyubimov, B. Roux, S.V. Shklyaev. The Application of Parallel Computations Technique to the Solution of Certain Hydrodynamic Stability Problems. pp. 40-44
  
  
• O. Kushnarenko, P. Schnoebelen. A Formal Framework for the Analysis of Recursive-Parallel Programs. pp. 45-59
  
  
• N.A. Likhoded, A.A. Tiountchik. Systematic Design of 3-Dimensional Fixed-Size Array Processors. pp. 60-69
  
  
• I.A. Lomazova. On Proving Large Distributed Systems: Petri Net Modules Verification. pp. 70-75
  
  
• S. Pudov. Influence of Self-Connection Weights on Cellular-Neural Network Stability. pp. 76-82
  
  
• R. Sakellariou. Estimating the Parallel Start-Up Overhead for Parallelizing Compilers. pp. 83-93
  
  
• F. Seredynski, P. Bouvry, F. Arbab. Parallel and Distributed Evolutionary Computation with MANIFOLD. pp. 94-108
  
  
• V. Severyanov. Parallel Computation of Fractal Sets with the Help of Neural Networks and Cellular Automata. pp. 109-114
  
  
• V.A. Sokolov, E.E. Roubtsova, S.A. Roubtsov. On a Technology of Design and Analysis of Dataflow Programs. pp. 115-120
  
  
• A. Stoutchinin. An Integer Linear Programming Model of Software Pipelining for the MIPS R8OOO Processor. pp. 121-135
  
  
• V. Valkovskii, D. Zerbino. Computations on Cellular Automata with Defects. pp. 136-144
  
  
• T. Yang. Efficient Implementation of the Improved Unsymmetric Lanczos Process on Massively Distributed Memory Computers. pp. 145-155
  
  

  Software

• A. Alpkocak, E. Ozkarahan. A Spatial Grid File for Multimedia Data Representation. pp. 156-167
  
  
• O. Bessonov, B. Roux. Optimization Techniques and Performance Analysis for Different Serial and Parallel RISC-based Computers. pp. 168-174
  
  
• A.V. Borshchev, Y.G. Karpov, V.V. Roudakov, A. Filippov, A. Sintotskij, S. Fedorenko. Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study. pp. 175-188
  
  
• B.D. de Dinechin. A Unified Software Pipeline Construction Scheme for Modulo Scheduled Loops. pp. 189-200
  
  
• C. Germain, J. Laminie, M. Pallud, D. Etiemble. An HPF Case Study of a Domain-Decomposition Based Irregular Application. pp. 201-209
  
  
• L. Hiuchy, M. Dobrucky, J. Astalos. Hybrid Approach to Task Allocation in Distributed Systems. pp. 210-215
  
  
• H. Kwak, B. Lee, A.R. Hurson. Viability of Multithreading on Networks of Workstations. pp. 216-225
  
  
• Y. Jegou. Task Migration and Fine Grain Parallelism on Distributed Memory Architectures. pp. 226-240
  
  
• G.-W. On, B.-S. Lee, C.-E. Hong, D.-H. Chi. A Scheme for Building Visual Debugging Environment with Dynamic Debugging Method for Parallel Systems. pp. 241-246
  
  
• G.A. Papadopoulos, F. Arbab. Control-Driven Coordination Programming in Shared Dataspace. pp. 247-261
  
  
• S.V. Ten, K. Otsuyama. Performance Analysis of Geometric Modeling Algorithm. pp. 262-267
  
  
• E. Trichina, J. Oinonen. 3D Visual Tool Supporting Derivation of Parallel Programs for MIMD Systems. pp. 268-282
  
  
• J. Wang, J. Li, H. Kameda. Scheduling Algorithms for Parallel Transaction Processing Systems. pp. 283-297
  
  

  Hardware and Architecture

• F. Cappello, D. Etiemble. Communications in Parallel Architectures and Networks of Workstations: From Standardisation to New Standards. pp. 298-310
  
  
• B. Goossens. A Multithreaded Vector Co-processor. pp. 311-321
  
  
• R. Hoffmann, K.-P. Voelkmann. Hardware Support for 3D Cellular Processing. pp. 322-329
  
  

  Applications

• S.M. Achasova. Cellular Neural-Like Algorithms with Heuristics for Solving Combinatorial Optimization Problems. pp. 330-335
  
  
• M. Balandin, O. Chernyshev, E. Shurina. Analysis of Methods for Solving Large-Scale Non-Symmetric Linear Systems with Sparsed Matrices. pp. 336-343
  
  
• J.C. Fabero, A. Bautista, L. Casasus. Parallel Simulation of Non-linear Phenomena with Cellular Automata. pp. 344-349
  
  
• V.C. Khajdukov, V.D. Korneev, V.I. Kostin, V.V. Kovalevsky, V.E. Malyshkin, V.A. Tcheverda, D.M. Vishnevsky. Modelling of Seismic Waves Propagation for 2D Media (Direct and Inverse Problems). pp. 350-357
  
  
• O.V. Klimova. Decomposition on a Group and Parallel Convolution and Fast Fourier Transform Algorithms. pp. 358-363
  
  
• V.P. Il'in. Parallel Implementation of Symmetric Alternating Direction Implicit Methods. pp. 364-370
  
  
• V. Markova, S. Piskunov. Construction of Composed ALT-models of Cellular Architectures. pp. 371-376
  
  
• E. Onuphre, A. Chambarel. Parallel Computation of an Unsteady Compressible Flow. pp. 377-382
  
  
• I.N. Sinitsyn. Parallel Simulation Technologies for Stochastic Systems. pp. 383-388
  
  

  Posters

• E.N. Akimova. Parallel Direct Algorithms for Solution of Sparse Linear Systems. pp. 389-390
  
  
• O. Dikenelli, O. Ozkasap, E. Ozkarahan. Scheduling Parallel Programs Involving Parallel Database Interactions. pp. 391-393
  
  
• A. Kaliaev, I. Kaliaev, I. Levin. The Base Module of Multiprocessor System with Structural-Procedural Organization of Computing. pp. 394-395
  
  
• W. Koch. Bitwise Processing - a Paradigm for Deriving Parallel Algorithms. pp. 396-397
  
  
• E.D. Moreno, S.T. Kofuji, M. Stumm, T. Abdelrahman. Tuning Shared Network Cache Size vs. Second-Level Cache Size in Clusters-Based Multiprocessors. pp. 398-399
  
  
• P.P.B de Oliveira. A Simple, Multi-Architecture, Parallel Procedure for Generating Combinations. pp. 400-401
  
  
• V. Samofalov, A. Konovalov. Processing and Debugging of Parallel Programs on the Level of Task Model. pp. 402-403
  
  
• A.A. Tiountchik. Systolic Modular Exponentiation. pp. 404-405
  
  
• T. Yang. The Highly Parallel Incomplete Gram-Schmidt Preconditioner. pp. 406-408
  
  

  Tutorials

• A.V. Borshchev, Y.G. Karpov, V.V. Roudakov, A. Filippov, A. Sintotskij, S. Fedorenko. COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool. pp. 409-423
  
  
• Y. Pogudin, O. Bandman. Simulating Cellular Computations with ALT. A Tutorial. pp. 424-435
  
  
• A. Vazhenin, V. Morozov. SPARTH: A Family of Systems for Parallel High-Accuracy Computations. pp. 436-454
  
  

Author Index

Abdelrahman, T. 398
Achasova, S.M. 330
Agibalov, G.P. 1
Akimova, E.N. 389
Alpkocak, A. 156
Andersiand, M.S. 13
Arbab, F. 94, 247
Astalos, J. 210
Balandin, M. 336
Bandman, O. 424
Bautista, A. 344
Bessonov, O. 168
Borshchev, A.V. 175, 409
Bouvry, P. 94
Braun, T.A. 13
Cappello, F. 298
Casasus, L. 344
Casavant, T.L. 13
Chambarel, A. 377
Chen, L. 7
Chernyshev, O. 336
Chi, D.-H. 241
Dietz, R.D. 13
Dikenelli, O. 391
Dobrucky, M. 210
Etiemble, D. 201, 298
Fabero, J.C. 344
Fedorenko, S. 175, 409
Filippov, A. 175, 409
Germain, C. 201
Goossens, B. 311
Hartmann, P. 25
Hiuchy, L. 210
Hoffmann, R. 322
Hong, C.-E. 241
Hurson, A.R. 216
Il'in, V.P. 364
Jegou, Y. 226
Kaliaev, A. 394
Kaliaev, I. 394
Kameda, H. 283
Karpov, Y.G. 175, 409
Khajdukov, V.C. 350
Khenner, M.V. 40
Klimova, O.V. 358
Koch, W. 396
Kofuji, S.T. 398
Konovalov, A. 402
Korneev, V.D. 350
Kostin, V.I. 350
Kovalevsky, V.V. 350
Kushnarenko, O. 45
Kwak, H. 216
Laminie, J. 201
Lee, B. 216
Lee, B.-S. 241
Levin, I. 394
Li, J. 283
Likhoded, N.A. 60
Lomazova, I.A. 70
Lyubimov, D.V. 40
Malyshkin, V.E. 350
Markova, V. 371
Moreno, E.D. 398
Morozov, V. 436
Oinonen, J. 268
On, G.-W. 241
Onuphre, E. 377
Otsuyama, K. 262
Ozkarahan, E. 156, 391
Ozkasap, O. 391
Pallud, M. 201
Papadopoulos, G.A. 247
Piskunov, S. 371
Pogudin, Y. 424
Pudov, S. 76
Roubtsov, S.A. 115
Roubtsova, E.E. 115
Roudakov, V.V. 175, 409
Roux, B. 40, 168
Sakellariou, R. 83
Samofalov, V. 402
Scheetz, T.E. 13
Schnoebelen, P. 45
Seredynski, F. 94
Severyanov, V. 109
Shklyaev, S.V. 40
Shurina, E. 336
Sinitsyn, I.N. 383
Sintotskij, A. 175, 409
Sokolov, V.A. 115
Stoutchinin, A. 121
Stumm, M. 398
Tcheverda, V.A. 350
Ten, S.V. 262
Tiountchik, A.A. 60, 404
Trichina, E. 268
Valkovskii, V. 136
Vazhenin, A. 436
Vishnevsky, D.M. 350
Voelkmann, K.-P. 322
Wang, J. 283
Yang, T. 145, 406
Zerbino, D. 136
de Dinechin, B.D. 189
de Oliveira, P.P.B 400