PaCT B

46 papers

YearTitle / Authors
1995A Method for Analyzing Combinatorial Properties of Static Connecting Topologies.
Guennadi Vesselovski, Marina Kupriyanova
1995A Program Manipulation System for Fine-grained Architectures.
Vladimir A. Evstigneev, Victor N. Kasyanov
1995An Efficient Verifier of Truly Concurrent Properties.
Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami
1995Architectural Issues of Distributed Workflow Management Systems.
Christoph Bussler, Stefan Jablonski, Thomas Kirsche, Hans Schuster, Hartmut Wedekind
1995COVERS - A Tool for the Design of Real-time Concurrent Systems.
Andrei Borshchev, Yuri G. Karpov, Victor Roudakov
1995Cellular-Neural Computations. Formal Model and Possible Applications.
Olga L. Bandman
1995Comparison of Two MST Algorithms for Associative Parallel Processors.
A. S. Nepomniaschaya
1995Compilation of CDL for Different Target Architectures.
Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt
1995Computer Models of 3D Cellular Structures.
Valentina P. Markova, Sergey Piskunov
1995DFS-SuperMPx: Low-cost Parallel Processing System for Machine Vision and Image Processing.
Vason P. Srini
1995Data Structures, Computational, and Communication Kernels for Distributed Memory Sparse Iterative Solvers.
Yousef Saad, Andrei V. Malevsky
1995Dataparallel Programming with Intelligent Communication.
René Hüsler, Johann vonder Mühll, Anton Gunzinger, Gerhard Tröster
1995Design and Evaluation of a Multi-Threaded Architecture for Parallel Graph Reduction.
Francis Caudal, Bernard Lécussan
1995Distributing Search and Knowledge Using a Coordination Language.
Paolo Ciancarini, P. Mancini
1995Dynamic Scheduling of Parallel Applications.
Bettina Schnor
1995Early Approaches to Parallel Processing: Increasing Performance and Dependability.
Wolfgang Händler
1995Further Pipelining and Multithreading to Improve RISC Processor Speed. A Proposed Architecture and Simulation Results.
Bernard Goossens, Duc Thang Vu
1995Hardware and Software Platform for Information Processing.
Esen A. Ozkarahan
1995Implementation of the Multigrid Method for Solving the Boundary-Value Problems for the Poisson and Helmholtz Equations on the Massively Parallel Computers.
I. G. Mamedova
1995Linear Fibonacci Forms and Parallel Algorithms for High Dimension Arithmetic.
A. V. Anisimov
1995New Trends in Simulation of Distributed Shared Memory Architectures.
Luis Barriga, Rassul Ayani
1995Numerical Simulation of Reacting Mixing Layer with a Parallel Implementation.
Edgard Kessy, Alexei Stoukov, Dany Vandromme
1995Optimal Loop Scheduling on Multiprocessors: A Pumping Lemma for p-Processor Schedules.
Franco Gasperoni, Uwe Schwiegelshohn, John Turek
1995Optimization Scheme on Execution of Logic Program in a Dataflow Environment.
Ali R. Hurson, Byung-Uk Jun
1995PARMA: A Multiattribute File Structure for Parallel Database Machines.
Atilla Özerdim, Murat Osman Ünalir, Oguz Dikenelli, Esen A. Ozkarahan
1995PFSLib - A Parallel File System for Workstation Clusters.
Thomas Ludwig, Stefan Lamberts
1995Parallel Computations and Finite Automata on Semilattices.
Gennady P. Agibalov
1995Parallel Computing Technologies, 3rd International Conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995, Proceedings
Victor E. Malyshkin
1995Parallel Computing in Russia.
Yakov I. Fet, Dmitri A. Pospelov
1995Parallel Iterative Solution of Systems of Linear Equations with Dynamically Changed Length of Operands.
Alexander Vazhenin, Vitali A. Morozov
1995Parallel Seismic Data Processing Method for MEMSY Multiprocessor System.
A. Kremlev, Oleg G. Monakhov, Thomas Thiel
1995Parallel and Distributed Processing of Cellular Hypergraphs.
Peter Hartmann
1995Parallelization of Computer Code MASTAC Three-Dimensional Finite Elements Method Implementing.
M. Royak, E. Shurina, Yuri G. Soloveichik, Victor E. Malyshkin
1995Parallelization of the Solution of 3D Navier-Stokes Equations for Fluid Flow in a Cavity with Moving Covers.
Oleg Bessonov, Valery Brailovskaya, Vadim Polezhaev, Bernard Roux
1995Performance Evaluation and Visualization with VISPAT.
Anna Hondroudakis, Rob Procter, Kesavan Shanmugam
1995Petri Net Modelling of Estelle-specified Communication Protocols.
Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Tatiana G. Churina, Sergey P. Mylnikov, E. V. Okunishnikova
1995Programming Abstracts for Synchronization and Communication in Parallel Programs.
Anatoly E. Doroshenko
1995Standard Microprocessors Versus Custom Processing Elements for Massively Parallel Architectures.
Daniel Etiemble, Cécile Germain
1995Status and Prospect of ZM4/SIMPLE/PEPP: an Event-oriented Evaluation Environment for Parallel and Distributed Programs.
Rainer Klar, Peter Dauphin
1995Synchronous-Asynchronous Cellular Computations.
S. M. Achasova
1995T++: An Object-Oriented Language to Express Task and Data Parallelism on Multi-SIMD Computers.
Marc Pic, Hassane Essafi, Marc Viala, Laurent Nicolas
1995The Massively Parallel Computer System MBC-100.
A. V. Zabrodin, V. K. Levin, V. V. Korneev
1995The Separating Decomposition of Discrete Fourier Transform and Vectorization of its Calculation.
Olga V. Klimova
1995Vienna Fortran 90 - An Advanced Data Parallel Language.
Siegfried Benkner
1995cT: An Imperative Language with Parallelizing Features Supporting the Computation Model "Autotransformation of the Evaluation Network".
Alexey I. Adamovich
1995mEDA-2: An Extension of PVM.
Vladimir Vlassov, Hallo Ahmed, Lars-Erik Thorelli