Hosted with the Supercomputer Software Department RAS
Home
Parallel Computing Technologies
Third International Conference (PaCT-95)
September 12-15, 1995. St.-Petersburg, Russia
Proceedings
Home
PaCTs
Vol. 964
Victor Malyshkin (Ed.)
Contents
S. M. Achasova.
Synchronous-Asynchronous Cellular Computations
. pp. 1-6
A. I. Adamovich.
cT: An Imperative Language with Parallelizing Features Supporting the Computation Model "Autotransformation of the Evaluation Network"
. pp. 127-141
G. P. Agibalov.
Parallel Computations and Finite Automata on Semilattices
. pp. 7-15
A. V. Anisimov.
Linear Fibonacci Forms and Parallel Algorithms for High Dimension Arithmetic
. pp. 16-20
O. L. Bandman.
Cellular-Neural Computations. Formal Model and Possible Applications
. pp. 21-35
L. Barriga, R. Ayani.
New Trends in Simulation of Distributed Shared Memory Architectures
. pp. 314-319
S. Benkner.
Vienna Fortran 90 An Advanced Data Parallel Language
. pp. 142-156
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
. pp. 385-399
A. Bianchi, S. Coluccini, P. Degano, C. Priami.
An Efficient Verifier of Truly Concurrent Properties
. pp. 36-50
A. V. Borshchev, Y. G. Karpov, V. V. Roudakov.
COVERS A Tool for the Design of Real-time Concurrent Systems
. pp. 219-233
C. Bussler, S. Jablonski, T. Kirsche, H. Schuster, H. Wedekind.
Architectural Issues of Distributed Workflow Management Systems
. pp. 370-384
F. Caudal, B. Lecussan.
Design and Evaluation of a Multi-Threaded Architecture for Parallel Graph Reduction
. pp. 411-426
P. Ciancarini, P. Mancini.
Distributing Search and Knowledge Using a Coordination Language
. pp. 400-410
A. E. Doroshenko.
Programming Abstracts for Synchronization and Communication in Parallel Programs
. pp. 157-162
D. Etiemble, C. Germain.
Standard Microprocessors Versus Custom Processing Elements for Massively Parallel Architectures
. pp. 320-325
V. A. Evstigneev, V. N. Kasyanov.
A Program Manipulation System for Fine-grained Architectures
. pp. 163-168
Y. I. Fet, D. A. Pospelov.
Parallel Computing in Russia
. pp. 464-476
F. Gasperoni, U. Schwiegelshohn, J. Turek.
Optimal Loop Scheduling on Multiprocessors: A Pumping Lemma for p-Processor Schedules
. pp. 51-56
B. Goossens, D. T. Vu.
Further Pipelining and Multithreading to Improve RISC Processor Speed A Proposed Architecture and Simulation Results
. pp. 326-340
W. Haendler.
Early Approaches to Parallel Processing: Increasing Performance and Dependability
. pp. 477-495
P. Hartmann.
Parallel and Distributed Processing of Cellular Hypergraphs
. pp. 57-69
C. Hochberger, R. Hoffmann, S. Waldschmidt.
Compilation of CDL for Different Target Architectures
. pp. 169-179
A. Hondroudakis, R. Procter, K. Shanmugam.
Performance Evaluation and Visualization with VISPAT
. pp. 180-185
R. Huesler, A. Gunzinger, G. Troester.
Dataparallel Programming with Intelligent Communication
. pp. 186-203
A. R. Hurson, B. U. Jun.
Optimization Scheme on Execution of Logic Program in a Dataflow Environment
. pp. 204-218
E. Kessy, A. Stoukov, D. Vandromme.
Numerical Simulation of Reacting Mixing Layer with a Parallel Implementation
. pp. 453-463
R. Klar, P. Dauphin.
Status and Prospect of ZM4/SIMPLE/PEPP: an Event-oriented Evaluation Environment for Parallel and Distributed Programs
. pp. 234-240
O. V. Klimova.
The Separating Decomposition of Discrete Fourier Transform and Vectorization of its Calculation
. pp. 241-245
A. Kremlev, O. Monakhov, T. Thiel.
Parallel Seismic Data Processing Method for MEMSY Multiprocessor System
. pp. 434-438
T. Ludwig, S. Lamberts.
PFSLib A Parallel File System for Workstation Clusters
. pp. 246-251
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
. pp. 427-433
V. Markova, S. Piskunov.
Computer Models of 3D Cellular Structures
. pp. 70-84
A. S. Nepomniaschaya.
Comparison of Two MST Algorithms for Associative Parallel Processors
. pp. 85-93
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
. pp. 94-108
A. Ozerdim, M. O. Unalir, O. Dikenelli, E. Ozkarahan.
PARMA: A Multiattribute File Structure for Parallel Database Machines
. pp. 258-272
E. Ozkarahan.
Hardware and Software Platform for Information Processing
. pp. 439-452
M. M. Pic, H. Essafi, M. Viala, L. Nicolas.
T++: An Object-Oriented Language to Express Task and Data Parallelism on Multi-SIMD Computers
. pp. 273-287
M. Royak, E. Shurina, Y. Soloveichik, V. Malyshkin.
Parallelization of Computer Code MASTAC Three-Dimensional Finite Elements Method Implementing
. pp. 304-313
Y. Saad, A. V. Malevsky.
Data Structures, Computational, and Communication Kernels for Distributed Memory Sparse Iterative Solvers
. pp. 252-257
B. Schnor.
Dynamic Scheduling of Parallel Applications
. pp. 109-116
V. P. Srini.
DFS-SuperMPx: Low-cost Parallel Processing System for Machine Vision and Image Processing
. pp. 356-369
A. Vazhenin, V. Morozov.
Parallel Iterative Solution of Systems of Linear Equations with Dynamically Changed Length of Operands
. pp. 294-303
G. Vesselovski, M. Kupriyanova.
A Method for Analyzing Combinatorial Properties of Static Connecting Topologies
. pp. 117-126
V. Vlassov, H. Ahmed, L. E. Thorelli.
mEDA-2: An Extension of PVM
. pp. 288-293
A. V. Zabrodin, V. K. Levin, V. V. Korneev.
The Massively Parallel Computer System MBC-100
. pp. 341-355