SSD: PaCT-95: Proceedings of PaCT-95 in Lect. Notes in Comp. Sci.

Proceedings of PaCT-95
Lecture Notes in Computer Science
Volume 964

Contents

Theory
S.M. Achasova Synchronous-Asynchronous Cellular Computations 1
G.P. Agibalov Parallel Computations and Finite Automata on Semilattices 7
A.V. Anisimov Linear Fibonacci Forms and Parallel Algorithms for High Dimension Arithmetic 16
O.L. Bandman Cellular-Neural Computation. Formal Model and Possible Applications 21
A. Bianchi, S. Coluccini, P. Degano, C. Priami An Efficient Verifier of Truly Concurrent Properties 36
F. Gasperoni, U. Schwiegelshohn, J. Turek Optimal Loop Scheduling on Multiprocessors: a Pumping Lemma for p-Processor Schedules 51
P. Hartmann Parallel and Distributed Processing of Cellular Hypergraphs 57
V. Markova and S. Piskunov Computer Models of 3D Cellular Structures 70
A.Sh. Nepomniaschaya Comparison of Two MST Algorithms for Associative Parallel Processors 85
V.A. Nepomniaschy, G.I. Alekseev, A.V. Bystrov, T.G. Churina, S.P. Mylnikov, E.V. Okunishnikova Petri Net Modelling of Estelle-specified Communication Protocols 94
B. Schnor Dynamic Scheduling of Parallel Applications 109
G.G. Vesselovski and M.V. Kupriyanova A Method for Analyzing Combinatorial Properties of Static Connecting Topologies 117
Software
A.I. Adamovich cT: An Imperative Language with Parallelizing Features Supporting the Computation Model "Autotransformation of the Evaluation Network 127
S. Benkner Vienna Fortran 90 - An Advanced Data Parallel Language 142
A.E. Doroshenko Programming Abstracts for Synchronization and Communication in Parallel Programs 157
V.A. Evstigneev and V.N. Kasyanov A Program Manipulation System for Fine-grained Architectures 163
C. Hochberger, R. Hoffmann, S. Waldschmidt Compilation of CDL for Different Target Achitectures 169
A. Hondroudakis, R. Procter, K. Shanmugam Performance Evaluation and Visualization with VISPAT 180
R. Huesler, H.V. Muhll, A. Gunzinger, G.Troster Dataparallel Programming with Intelligent Communication 186
A.R. Hurson and B.U. Jun Optimization Scheme on Execution of Logic Program in a Dataflow Environment 204
A.V. Borshchev, Y.G. Karpov, V.V. Roudakov COVERS - a Programming Tool for the Design of Real-time Concurrent Systems 219
R. Klar and P. Dauphin Status and Prospect of ZM4/SIMPLE/PEPP: an Event-oriented Evaluation Environment for Parallel and Distributed Programs 234
O.V. Klimova The Separating Decomposition of Discrete Fourier Transform and Vectorization of its ķalculation 241
T. Ludwig and S. Lamberts PFSLib - A Parallel File System for Workstation Clusters 246
Y. Saad and A.V. Malevsky Data Structures, Computational, and Communication Kernels for Distributed Memory Sparse Iterative Solvers 252
A. Ozerdim, M.O. Unalir, O. Dikenelli, E. Ozkarahan PARMA: A Multiattribute File Structure for Parallel Database Machines 258
M.M. Pic, H. Essafi, M. Viala, L. Nicolas T++: An Object-Oriented Language to Express Task and Data Parallelism on Multi-SIMD Computers 273
V. Vlassov, H. Ahmed, L.E. Thorelli mEDA-2: An Extension of PVM 288
A. Vazhenin and V. Morozov Parallel Iterative Solution of Systems of Linear Equations with Dynamically Changed Length of Operands 294
M. Royak, E. Shurina, Yu. Soloveichik, V. Malyshkin Parallelization of Computer Code MASTAC Three-Dimensional Finite Elements Method Implementing 305
Hardware and Architecture
L. Barriga L. and R. Ayani New Trends in Simulation of Distributed Shared Memory Architectures 315
D. Etiemble and C.Germain Standard Microprocessors Versus Custom Processing Elements for Massively Parallel Architectures 321
B. Goossens and D.T. Vu Further Pipelining and Multithreading to Improve RISC Processor Speed. A Proposed Architecture and Simulation Results 327
A.V. Zabrodin, V.K. Levin, V.V. Korneev The Massively Parallel Computer System MBC-100 342
V. Srini DFS-SuperMPx: Low-cost Parallel Processing System for Machine Vision and Image Processing 357
C. Bussler, S. Jablonski, T. Kirsche, H. Schuster, H. Wedekind Architectural Issues of Distributed Workflow Management Systems 371
Applications
O. Bessonov, V. Brailovskaya, V. Polezhaev, B. Roux Parallelization of the Solution of 3D Navier-Stokes Equations for Fluid Flow in a Cavity with Moving Covers 386
P. Ciancarini and P. Mancini Distributing Search and Knowledge Using a Coordination Language 401
F. Caudal and B. Lecussan Design and Evaluation of a Multi-Threaded Architecture for Parallel Graph Reduction 412
I.G. Mamedova Implementation of the Multigrid Method for Solving the Boundary-Value\\ Problems for the Poisson and Helmholtz Equations\\ on the Massively Parallel Computers 428
A. Kremlev, O. Monakhov, T. Thiel Parallel Seismic Data Processing Method for MEMSY Multiprocessor System 435
E. Ozkarahan Hardware and Software Platform for Information Processing 440
Last papers
E. Kessy, A. Stoukov, D. Vandromme Numerical Simulation of Reacting Mixing Layer with a Parallel Implementation 455
Ya.I. Fet and D.A. Pospelov Parallel Computing in Russia 465
W. Haendler Early Approaches to Parallel Processing: Increasing Performance and Dependability 478
Oral Presentation
Helmar Burkhart. HOW TO TEACH PARALLEL PROCESSING ?
LIST of POSTERS

  1. E.Akimova Parallel Gauss Algorithms for Solution of Sparse Linear Systems
  2. I.Aleksandrova NSP Library of Digital Signal Processing Functions for Superscalar Processor
  3. I.Aleksandrova Computer Library Testing Problems. Experience of NSP Library Test System Development
  4. M.Alekseyeva Optimization of BLAS Library Codes for Pentium Microprocessor
  5. L.Babenko, O.Makarevich, A.Chefranov Integrated Parallel Programmes for Universal Multiprocessor Systems Design System
  6. N.Barabanov, A.Liss Antenna Signal Recognition Using Neural Network
  7. S.Belyaev Optimal Setting of LAPACK Package for Pentium Microprocessor
  8. Sh.Chabdarov Synthesis of the Noise-immunity Algorithms and the Multiprocessor Computational Structures for the Signal Processing in the Mobile Objects Identification System
  9. V.Fomichev Generation of structure models for massively parallel computer systems
  10. S.Kirillov Tests for Pentium Microprocessor Performance Assessment in Digital Signal Processing Problems
  11. N.Kovalenko, V.Metelski Synchronic Models of the Interaction of Competing Processes Under Distributed Processing
  12. V.Levin Planning of Works in Computing Systems with Interval Times
  13. P.Parsons Translation of Paradigm Based Specifications to Executable Parallel Code
  14. R.Sureswaran Benchmarks for Parallel and Multiprocessor Systems
  15. H.-D.Wuttke Results of the WEPAST Project
  16. V.Zolotovsky The Architecture of Variable Capacity Matrix-Stream Computer System for Image Processing

Last update: July 5, 1996