|
" A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems "
von Uwe Glässer.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
741497
|
| Doc. No
|
:
|
b561443
|
| Main Entry
|
:
|
von Uwe Glässer.
|
| Title & Author
|
:
|
A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems\ von Uwe Glässer.
|
| Publication Statement
|
:
|
Wiesbaden : Vieweg+Teubner Verlag : Imprint : Vieweg+Teubner Verlag, 1993
|
| Series Statement
|
:
|
Teubner-Texte zur Informatik, 3.
|
| ISBN
|
:
|
3322976114
|
|
|
:
|
: 3322976122
|
|
|
:
|
: 9783322976116
|
|
|
:
|
: 9783322976123
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Engineering.
|
| LC Classification
|
:
|
QA76.9.D5V668 1993
|
| Added Entry
|
:
|
Uwe Glässer
|
| |