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

ISBN 10: 3322976122 / ISBN 13: 9783322976123

Published by Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Dez 2012, 2012

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -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.Vieweg+Teubner Verlag, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 120 pp. Deutsch.

Seller Inventory # 9783322976123

Bibliographic Details

• Title: A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
• Publisher: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Dez 2012
• Publication Date: 2012
• Language: German
• ISBN 10: 3322976122
• ISBN 13: 9783322976123
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 244W x 170H x 7D millimeters 244 millimeters width by 170 millimeters height by 7 millimeters depth
• Weight: 222 grams