This book constitutes the proceedings of the Third International Conference on Parallel Computing Technologies, PaCT '95, held in St. Petersburg, Russia in September 1995.
The volume presents 45 revised full papers selected from a total of 98 submissions, including six invited presentations. The proceedings is organized in parts on theory, software, hardware and architecture, and applications to large-scale problems. Parallel processing technologies are shown to be the touchstone of parallel theories, models, languages, and programming systems.
Author(s): S. M. Achasova (auth.), Victor Malyshkin (eds.)
Series: Lecture Notes in Computer Science 964
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1995
Language: English
Pages: 504
Tags: Processor Architectures; Computer Communication Networks; Special Purpose and Application-Based Systems; System Performance and Evaluation; Programming Techniques; Software Engineering
Synchronous-asynchronous cellular computations....Pages 1-6
Parallel computations and finite automata on semilattices....Pages 7-15
Linear Fibonacci forms and parallel algorithms for high dimension arithmetic....Pages 16-20
Cellular-Neural computations. Formal model and possible applications....Pages 21-35
An efficient verifier of truly concurrent properties....Pages 36-50
Optimal loop scheduling on multiprocessors: A pumping lemma for p -processor schedules....Pages 51-56
Parallel and distributed processing of cellular hypergraphs....Pages 57-69
Computer models of 3D cellular structures....Pages 70-84
Comparison of two MST algorithms for associative parallel processors....Pages 85-93
Petri net modelling of Estelle-specified communication protocols....Pages 94-108
Dynamic scheduling of parallel applications....Pages 109-116
A method for analyzing combinatorial properties of static connecting topologies....Pages 117-126
cT: an imperative language with parallelizing features supporting the computation model “autotransformation of the evaluation network”....Pages 127-141
Vienna fortran 90 — An advanced data parallel language....Pages 142-156
Programming abstracts for synchronization and communication in parallel programs....Pages 157-162
A program manipulation system for fine-grained architectures....Pages 163-168
Compilation of CDL for different target architectures....Pages 169-179
Performance evaluation and visualization with VISPAT....Pages 180-185
Dataparallel programming with intelligent communication....Pages 186-203
Optimization scheme on execution of logic program in a dataflow environment....Pages 204-218
COVERS — A tool for the design of real-time concurrent systems....Pages 219-233
Status and prospect of ZM4/SIMPLE/PEPP: An event-oriented evaluation environment for parallel and distributed programs....Pages 234-240
The separating decomposition of discrete Fourier transform and vectorization of its calculation....Pages 241-245
PFSLib — A parallel file system for workstation clusters....Pages 246-251
Data structures, computational, and communication kernels for distributed memory sparse iterative solvers....Pages 252-257
PARMA: A multiattribute file structure for parallel database machines....Pages 258-272
T++: An object-oriented language to express task and data parallelism on Multi-SIMD computers....Pages 273-287
mEDA-2: An extension of PVM....Pages 288-293
Parallel iterative solution of systems of linear equations with dynamically changed length of operands....Pages 294-303
Parallelization of computer code MASTAC three-dimensional finite elements method implementing....Pages 304-313
New trends in simulation of distributed shared memory architectures....Pages 314-319
Standard microprocessors versus custom processing elements for massively parallel architectures....Pages 320-325
Further pipelining and multithreading to improve RISC processor speed. A proposed architecture and simulation results....Pages 326-340
The massively parallel computer system MBC-100....Pages 341-355
DFS-superMPx: Low-cost parallel processing system for machine vision and image processing....Pages 356-369
Architectural issues of distributed workflow management systems....Pages 370-384
Parallelization of the solution of 3D Navier-Stokes equations for fluid flow in a cavity with moving covers....Pages 385-399
Distributing search and knowledge using a coordination language....Pages 400-410
Design and evaluation of a multi-threaded architecture for parallel graph reduction....Pages 411-426
Implementation of the multigrid method for solving the boundary-value problems for the Poisson and Helmholtz equations on the massively parallel computers....Pages 427-433
Parallel seismic data processing method for MEMSY multiprocessor system....Pages 434-438
Hardware and software platform for information processing....Pages 439-452
Numerical simulation of reacting mixing layer with a parallel implementation....Pages 453-463
Parallel computing in Russia....Pages 464-476
Early approaches to parallel processing: Increasing performance and dependability....Pages 477-495
