3. PaCT 1995:
St. Petersburg,
Russia
Victor E. Malyshkin (Ed.):
Parallel Computing Technologies, 3rd International Conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995, Proceedings.
Lecture Notes in Computer Science 964 Springer 1995, ISBN 3-540-60222-4 
@proceedings{DBLP:conf/pact/1995,
editor = {Victor E. Malyshkin},
title = {Parallel Computing Technologies, 3rd International Conference,
PaCT-95, St. Petersburg, Russia, September 12-25, 1995, Proceedings},
booktitle = {PaCT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {964},
year = {1995},
isbn = {3-540-60222-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Theory
- S. M. Achasova:
Synchronous-Asynchronous Cellular Computations.
1-6
- Gennady P. Agibalov:
Parallel Computations and Finite Automata on Semilattices.
7-15
- A. V. Anisimov:
Linear Fibonacci Forms and Parallel Algorithms for High Dimension Arithmetic.
16-20
- Olga L. Bandman:
Cellular-Neural Computations. Formal Model and Possible Applications.
21-35
- Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami:
An Efficient Verifier of Truly Concurrent Properties.
36-50
- Franco Gasperoni, Uwe Schwiegelshohn, John Turek:
Optimal Loop Scheduling on Multiprocessors: A Pumping Lemma for p-Processor Schedules.
51-56
- Peter Hartmann:
Parallel and Distributed Processing of Cellular Hypergraphs.
57-69
- Valentina Markova, S. Piskunov:
Computer Models of 3D Cellular Structures.
70-84
- A. S. Nepomniaschaya:
Comparison of Two MST Algorithms for Associative Parallel Processors.
85-93
- V. A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Tatiana G. Churina, Sergey P. Mylnikov, E. V. Okunishnikova:
Petri Net Modelling of Estelle-specified Communication Protocols.
94-108
- Bettina Schnor:
Dynamic Scheduling of Parallel Applications.
109-116
- Guennadi Vesselovski, Marina Kupriyanova:
A Method for Analyzing Combinatorial Properties of Static Connecting Topologies.
117-126
Software
- Alexey I. Adamovich:
cT: An Imperative Language with Parallelizing Features Supporting the Computation Model "Autotransformation of the Evaluation Network".
127-141
- Siegfried Benkner:
Vienna Fortran 90 - An Advanced Data Parallel Language.
142-156
- Anatoly E. Doroshenko:
Programming Abstracts for Synchronization and Communication in Parallel Programs.
157-162
- Vladimir A. Evstigneev, Victor N. Kasyanov:
A Program Manipulation System for Fine-grained Architectures.
163-168
- Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt:
Compilation of CDL for Different Target Architectures.
169-179
- Anna Hondroudakis, Rob Procter, Kesavan Shanmugam:
Performance Evaluation and Visualization with VISPAT.
180-185
- R. Hüsler, Johann vonder Mühll, Anton Gunzinger, Gerhard Tröster:
Dataparallel Programming with Intelligent Communication.
186-203
- Ali R. Hurson, Byung-Uk Jun:
Optimization Scheme on Execution of Logic Program in a Dataflow Environment.
204-218
- Andrei Borshchev, Yuri Karpov, Victor Roudakov:
COVERS - A Tool for the Design of Real-time Concurrent Systems.
219-233
- Rainer Klar, Peter Dauphin:
Status and Prospect of ZM4/SIMPLE/PEPP: an Event-oriented Evaluation Environment for Parallel and Distributed Programs.
234-240
- Olga V. Klimova:
The Separating Decomposition of Discrete Fourier Transform and Vectorization of its Calculation.
241-245
- Thomas Ludwig, Stefan Lamberts:
PFSLib - A Parallel File System for Workstation Clusters.
246-251
- Yousef Saad, Andrei V. Malevsky:
Data Structures, Computational, and Communication Kernels for Distributed Memory Sparse Iterative Solvers.
252-257
- Atilla Özerdim, Murat Osman Ünalir, Oguz Dikenelli, Esen A. Ozkarahan:
PARMA: A Multiattribute File Structure for Parallel Database Machines.
258-272
- Marc Pic, Hassane Essafi, Marc Viala, Laurent Nicolas:
T++: An Object-Oriented Language to Express Task and Data Parallelism on Multi-SIMD Computers.
273-287
- Vladimir Vlassov, Hallo Ahmed, Lars-Erik Thorelli:
mEDA-2: An Extension of PVM.
288-293
- Alexander Vazhenin, Vitaly Morozov:
Parallel Iterative Solution of Systems of Linear Equations with Dynamically Changed Length of Operands.
294-303
- M. Royak, E. Shurina, Yu. Soloveichik, Victor E. Malyshkin:
Parallelization of Computer Code MASTAC Three-Dimensional Finite Elements Method Implementing.
304-313
Hardware and Architecture
Applications
Last Papers
Copyright © Thu Nov 12 01:11:09 2009
by Michael Ley (ley@uni-trier.de)
