Skip to main content
SpringerLink
Log in
Book cover

Parallel Computing Technologies

Third International Conference, PaCT-95, St. Petersburg, Russia, September 12-15, 1995. Proceedings

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Victor Malyshkin
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 964)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (45 papers)

  1. Front Matter

    Download chapter PDF

  2. Synchronous-asynchronous cellular computations

    • S. M. Achasova
    Pages 1-6

  3. Parallel computations and finite automata on semilattices

    • Gennady P. Agibalov
    Pages 7-15

  4. Linear Fibonacci forms and parallel algorithms for high dimension arithmetic

    • Anisimov A. V.
    Pages 16-20

  5. Cellular-Neural computations. Formal model and possible applications

    • O. L. Bandman
    Pages 21-35

  6. An efficient verifier of truly concurrent properties

    • Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami
    Pages 36-50

  7. Optimal loop scheduling on multiprocessors: A pumping lemma for p-processor schedules

    • Franco Gasperoni, Uwe Schwiegeishohn, John Turek
    Pages 51-56

  8. Parallel and distributed processing of cellular hypergraphs

    • Peter Hartmann
    Pages 57-69

  9. Computer models of 3D cellular structures

    • V. Markova, S. Piskunov
    Pages 70-84

  10. Comparison of two MST algorithms for associative parallel processors

    • Ann Sh. Nepomniaschaya
    Pages 85-93

  11. Petri net modelling of Estelle-specified communication protocols

    • V. A. Nepomniaschy, G. I. Alekseev, A. V. Bystrov, T. G. Churina, S. P. Mylnikov, E. V. Okunishnikova
    Pages 94-108

  12. Dynamic scheduling of parallel applications

    • Bettina Schnor
    Pages 109-116

  13. A method for analyzing combinatorial properties of static connecting topologies

    • Guennadi Vesselovski, Marina Kupriyanova
    Pages 117-126

  14. cT: an imperative language with parallelizing features supporting the computation model “autotransformation of the evaluation network”

    • Alexey I. Adamovich
    Pages 127-141

  15. Vienna fortran 90 — An advanced data parallel language

    • Siegfried Benkner
    Pages 142-156

  16. Programming abstracts for synchronization and communication in parallel programs

    • Anatoly E. Doroshenko
    Pages 157-162

  17. A program manipulation system for fine-grained architectures

    • Vladimir A. Evstigneev, Victor N. Kasyanov
    Pages 163-168

  18. Compilation of CDL for different target architectures

    • Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt
    Pages 169-179

  19. Performance evaluation and visualization with VISPAT

    • Anna Hondroudakis, Rob Procter, Kesavan Shanmugam
    Pages 180-185

  20. Dataparallel programming with intelligent communication

    • R. Hüsler, H. Vonder Mühll, A. Gunzinger, G. Tröster
    Pages 186-203
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation