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

Häftad, Tyska, 2012

Del 3 i serien Teubner Texte zur Informatik

397 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

Del 10

Evolution in Objekt-Datenbanken

Springer Fachmedien Wiesbaden

Häftad, 1995

520 kr

Del 23

Algorithmische Informationstheorie

Günther Hotz

Häftad, 1997

377 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

Del 32

Vorlesungen zur Komplexitätstheorie

Gerd Wechsung

Häftad, 2000

641 kr

Del 26

Petrinetze, lineare Algebra und lineare Programmierung

Springer Fachmedien Wiesbaden

Häftad, 1998

469 kr

Formale Semantik eines erweiterten Entity-Relationship-Modells

Springer Fachmedien Wiesbaden

Häftad, 1993

520 kr

Del 34

Semantik und Programmverifikation

Christoph Walther

Häftad, 2001

397 kr

Del 29

Angewandte Informatik und Formale Beschreibungsverfahren

Georg Lausen, Andreas Oberweis, Gunter Schlageter

Häftad, 1999

520 kr

Signerad!

SIGNERAD - Hälsorevolutionen : nya insikter

Yourlife Books

Inbunden, 2026

259 kr

Del 24

Dynamic Load Distribution for Parallel Applications

Georg Stellner

Häftad, 1997

520 kr

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

Häftad, Tyska, 2012

Del 3 i serien Teubner Texte zur Informatik

397 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.