Skip to main content
  • Conference proceedings
  • © 1995

Parallel Computing Technologies

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

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

Conference series link(s): PaCT: International Conference on Parallel Computing Technologies

Conference proceedings info: PaCT 1995.

Buying options

eBook USD 109.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-44754-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 139.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (45 papers)

  1. Front Matter

  2. An efficient verifier of truly concurrent properties

    • Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami
    Pages 36-50
  3. Optimal loop scheduling on multiprocessors: A pumping lemma for p-processor schedules

    • Franco Gasperoni, Uwe Schwiegeishohn, John Turek
    Pages 51-56
  4. Computer models of 3D cellular structures

    • V. Markova, S. Piskunov
    Pages 70-84
  5. 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
  6. Dynamic scheduling of parallel applications

    • Bettina Schnor
    Pages 109-116
  7. A method for analyzing combinatorial properties of static connecting topologies

    • Guennadi Vesselovski, Marina Kupriyanova
    Pages 117-126
  8. A program manipulation system for fine-grained architectures

    • Vladimir A. Evstigneev, Victor N. Kasyanov
    Pages 163-168
  9. Compilation of CDL for different target architectures

    • Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt
    Pages 169-179
  10. Performance evaluation and visualization with VISPAT

    • Anna Hondroudakis, Rob Procter, Kesavan Shanmugam
    Pages 180-185
  11. Dataparallel programming with intelligent communication

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

Other Volumes

  1. Parallel Computing Technologies

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

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.

Keywords

  • Attribut
  • Massiv-parallele Rechner
  • Massiveley Parallel Computers
  • Multithreading
  • Parallel Architectures
  • Parallel Processing
  • Parallel Programming
  • Parallele Sprachen
  • Paralleles Programmieren
  • Parallelverarbeitung
  • Workflow Management
  • algorithm
  • algorithms
  • data structure
  • optimization

Bibliographic Information

Buying options

eBook USD 109.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-44754-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 139.00
Price excludes VAT (USA)