Vor Ort
Merkzettel Warenkorb
  • Produktbild: PARLE '89 - Parallel Architectures and Languages Europe
  • Produktbild: PARLE '89 - Parallel Architectures and Languages Europe
Band 366

PARLE '89 - Parallel Architectures and Languages Europe Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.06.1989

Abbildungen

XVI, 444 p.

Herausgeber

Eddy Odijk + weitere

Verlag

Springer Berlin

Seitenzahl

444

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

692 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51285-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.06.1989

Abbildungen

XVI, 444 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

444

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

692 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51285-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: PARLE '89 - Parallel Architectures and Languages Europe
  • Produktbild: PARLE '89 - Parallel Architectures and Languages Europe
  • Supporting multiparadigm programming on actor architectures.- Multiple tuple spaces in Linda.- Experiments in mimd parallelism.- GTS: Extracting full parallelism out of DO loops.- Dataflow analysis of term graph rewriting systems.- Towards a theory of simulation for verification of concurrent systems.- Eliminating redundant interleavings during concurrent program verification.- Dataflow programs for parallel computations of logic programs and their semantics.- RAPiD a data flow model for implementing parallelism and intelligent backtracking in logic programs.- Pruning and scheduling speculative work in or-parallel Prolog.- Performance analysis of a Parallel Prolog: A correlated approach.- Visual concurrent object-based programming in GARP.- Parle: A parallel target language for integrating symbolic and numeric processing.- A method for refining atomicity in parallel algorithms.- Comparing two fully abstract dataflow models.- Learning by back-propagation: Computing in a systolic way.- Towards systolizing compilation: An overview.- Strategies for a massively parallel implementation of simulated annealing.- The compaction of acyclic terms.- A single-assignment language in a distributed memory multiprocessor.- Single-assignment semantics for imperative programs.- A compiling approach for exploiting and-parallelism in parallel logic programming systems.- Data structures for parallel execution of functional languages.- The typed ?-calculus with first-class processes.- ASPEN: A stream processing environment.- The expressive power of simple parallelism.- Compositionality in the temporal logic of concurrent systems.- A temporal-logic based compositional proof system for real-time message passing.