PARLE '91. Parallel Architectures and Languages Europe

Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings

AvEmile H.L. Aarts,Jan van Leeuwen

Häftad, Engelska, 1991

Del i serien Lecture Notes in Computer Science

559 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

The innovative progress in the development of parallel computing systems and their increasing availability have caused a rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual Parallel Architectures and Languages Europe (PARLE) conferences aim to present current research on all aspects of the theory, design and application of parallel computing systems and parallel processing. This volume, offering the results of PARLE '91, has been broadened in scope in order to cover the area of parallel algorithms and complexity, in addition to the central themes of parallel architectures and languages.

Produktinformation

Utgivningsdatum:1991-05-28
Mått:170 x 250 x 28 mm
Vikt:768 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:495
Upplaga:1991
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540541523

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programspråk inom Data och IT

Innehållsförteckning

Loosely-coupled processes (preliminary version).- Rendez-vous with metric semantics.- Embeddings among concurrent programming languages.- Invariants and paradigms of concurrency theory.- Acceptance Automata: A framework for specifying and verifying TCSP parallel systems.- Models for dynamically placed concurrent processes.- Formalisation of the behavior of actors by colored Petri nets and some applications.- Program refinement in fair transition systems.- Communication abstraction and refinement.- On the semantics of languages for massively parallel SIMD architectures.- A denotational real-time semantics for shared processors.- Concurrent clean.- The scriptic programming language.- Structural operational semantics for Kernel Andorra Prolog.- Customization of first-class tuple-spaces in a higher-order language.- A formal specification of the process trellis.- Strong bisimilarity on nets revisited.- A configuration approach to parallel programming.- Chaotic linear system solvers in a variable-grain data-driven multiprocessor system.- Parallel associative combinator evaluation.- Static analysis of term graph rewriting systems.- Scheduling of OR-parallel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor.- Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler.- Virtual memory support for OR-parallel logic programming systems.- Interfacing engines and schedulers in Or-Parallel Prolog systems.- Reduction of code space in parallel logic programming systems.- Search level parallel processing of production systems.