Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems

Häftad, Tyska, 2012

Del 3 i serien Teubner Texte zur Informatik

392 kr

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

Produktinformation

Utgivningsdatum:2012-12-06
Mått:170 x 244 x 7 mm
Vikt:222 g
Format:Häftad
Språk:Tyska
Serie:Teubner Texte zur Informatik
Antal sidor:116
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783322976123

Utforska kategorier

Innehållsförteckning

1 Introduction and Overview.- 1.1 General Introduction.- 1.2 Significance of the Work.- 1.3 Overall Organization.- 1.4 Syntax of Logic Programs.- 1.5 Data Manipulation by Unification.- 2 Concurrent Logic Programming.- 2.1 Process Interpretation of Logic Programs.- 2.2 Data-Flow Synchronization Techniques.- 2.3 Operational Semantics of FCP.- 3 Design of an Abstract FCP Machine.- 3.1 The Process Reduction Mechanism.- 3.2 The Abstract Machine Model.- 4 Concepts for a Distributed Implementation.- 4.1 Abstract System Architecture.- 4.2 Distributed Data Representation.- 4.3 The Distributed Reduction Algorithm.- 4.4 Distributed Termination Detection.- 4.5 Multiprogramming Facilities.- 4.6 Deadlock and Livelock Prevention.- 4.7 Dynamic Work Load Balancing.- 4.8 Distributed Garbage Collection.- 4.9 Related Work.- 5 Implementing FCP on Large Transputer Networks.- 5.1 Parallel Machine Architecture.- 5.2 Reduction Unit Architecture.- 5.3 Host Unit Architecture.- 6 Performance Measurements and Optimizations.- 6.1 Performance Measures.- 6.2 Possible Optimizations.- 7 Conclusions.

Du kanske också är intresserad av

Evolution in Objekt-Datenbanken, Häftad

Evolution in Objekt-Datenbanken

Springer Fachmedien Wiesbaden

Häftad, 1995

513 kr

Günther Hotz - Algorithmische Informationstheorie, Häftad

Algorithmische Informationstheorie

Günther Hotz

Häftad, 1997

372 kr

Gerd Wechsung - Vorlesungen zur Komplexitätstheorie, Häftad

Del 32

Vorlesungen zur Komplexitätstheorie

Gerd Wechsung

Häftad, 2000

632 kr

Petrinetze, lineare Algebra und lineare Programmierung, Häftad

Petrinetze, lineare Algebra und lineare Programmierung

Springer Fachmedien Wiesbaden

Häftad, 1998

462 kr

Formale Semantik eines erweiterten Entity-Relationship-Modells, Häftad

Formale Semantik eines erweiterten Entity-Relationship-Modells

Springer Fachmedien Wiesbaden

Häftad, 1993

511 kr

Christoph Walther - Semantik und Programmverifikation, Häftad

Del 34

Semantik und Programmverifikation

Christoph Walther

Häftad, 2001

392 kr

Georg Stellner - Dynamic Load Distribution for Parallel Applications, Häftad

Dynamic Load Distribution for Parallel Applications

Georg Stellner

Häftad, 1997

513 kr

Harald Ganzinger, Wolfgang J. Paul - Informatik, Häftad

Informatik

Harald Ganzinger, Wolfgang J. Paul

Häftad, 1992

513 kr

Georg Lausen, Andreas Oberweis, Gunter Schlageter - Angewandte Informatik und Formale Beschreibungsverfahren, Häftad

Angewandte Informatik und Formale Beschreibungsverfahren

Georg Lausen, Andreas Oberweis, Gunter Schlageter

Häftad, 1999

513 kr

Herbert Stoyan - Begründungsverwaltung, Häftad

Begründungsverwaltung

Herbert Stoyan

Häftad, 1988

1 122 kr