A. Burg  Home/Search
Context
Related
| fmi.unipassau.de/fors...MIP9612.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fmi.unipassau.de/fors...MIP9612 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a new data-driven model for parallel and efficient execution of logic programs. Applied to knowledge-based control of autonomous systems, it takes advantage of the fact that these systems use their set of rules in a special way. A two-step method for constructing dataflow graphs is outlined. Its core part is the analysis of static data-dependencies, as they exist in the sets of rules for knowledge-based control. The model does not restrict evaluation parallism in any way,... (Update)
Similar documents (at the sentence level):
14.4%: The Eventflow Model - A Concept for Real-time Control of.. - Burg Fakultat Fur (Correct)
Active bibliography (related documents): More All
0.7: Potentiality of Parallelism in Logic - Kurfeß (1991) (Correct)
0.5: Prolog on the Multithreaded Datarol-II Machine based on the.. - Kacsuk, Amamiya (1996) (Correct)
0.5: Computer-Assisted Proofs in Analysis and Programming in.. - Koch, Schenkel, Wittwer (1996) (Correct)
Similar documents based on text: More All
0.1: Code Motion and Code Placement: Just Synonyms? - Knoop, Rüthing, Steffen (1997) (Correct)
0.1: Software Toolkit for Building Embedded and Distributed.. - Soshnikov (2000) (Correct)
0.1: Dependable Reactive Event-oriented Planning - Dorn (Correct)
BibTeX entry: (Update)
@misc{ burg-dataflow,
author = "A. Burg",
title = "Dataflow Computation for Knowledge-Based Control of Autonomous Systems",
url = "citeseer.ist.psu.edu/322303.html" }
Citations (may not include all citations):74 Data Flow Supercomputers (context) - Dennis - 1980
55 PARLOG: Parallel Programming in Logic (context) - Clark, Gregory - 1984
48 Concurrent Prolog: A progress report (context) - Shapiro - 1986
46 The Manchester Prototype Dataflow Computer (context) - Gurd, Kirkham et al. - 1980
45 Multithreading: A Revisionist View of Dataflow Architectures - Papadopoulos, Traub - 1991
40 Dataflow Machine Architecture (context) - Veen - 1986
27 A Preliminary Architecture for a Basic Data-Flow Processor (context) - Dennis, Misunas
12 Prolog Multiprocessors (context) - Wise - 1986
10 A Data-Driven Model for a Subset of Logic Programming (context) - Bic, Lee - 1987
9 The Tagged Token Dataflow Architecture (context) - Arvind - 1983
9 Programming for Artificial Intelligence (context) - Bratko - 1987
8 An Introduction to Autonomous Control Systems (context) - Antsaklis, Passino et al. - 1991
5 Data-flow Based Execution Mechanism of Parallel and Concurre.. (context) - Ito - 1985
5 A Data Driven Machine for OR-Parallel Evaluation of Logic Pr.. (context) - Halim - 1986
4 A Parallel Execution Model of Logic Programs (context) - Umeyama, Tamura - 1983
3 A Multiple Processor Data Flow Machine that Supports General.. (context) - Arvind - 1981
2 Compining Data Flow and Control Flow Computing (context) - Treleaven, Hopkins et al. - 1982
2 A Parallel Prolog: The Construction of a Data Driven Model (context) - Wise - 1982
2 Distributed Data Driven Prolog Abstract Machine (context) - Kascuk - 1992
2 Monsoon: an Explicit Token Store Dataflow Architecture (context) - Papdopoulos, Culller - 1990
2 A Data-Driven Model for Parallel Interpretation of Logic Pro.. (context) - Bic - 1984
2 Massachusetts Institute of Technology (context) - Sterling, Shapiro et al. - 1986
2 Update-Dataflow Computing: A Way to Supercomputing in Discre.. (context) - Hahn, Hagerer et al. - 1992
1 Wissensdarstellung fur Expertensysteme B (context) - Altenkruger - 1987
1 Music - an Event-Flow Computer for fast Digital Design Simul.. (context) - Hahn, Fischer - 1985
1 A Parallel Prolog Abstract Machine and its Multi-Transputer .. (context) - Kascuk - 1991
1 Der Modul Behaviour Decision (context) - Kujawski - 1993
1 Fakultat fur Luft- und Raumfahrttechnik (context) - Dickmanns, sehen et al. - 1992
1 An OR-Parallel Data-driven Model for Logic Programs (context) - Halim, Watson - 1984
1 Oxford Science Publications (context) - Dodd, approach - 1990
1 Status Report of SIGMA-1 Dataflow Supercomputer (context) - Hiraki, Skiguchi et al. - 1991
1 Evaluation of a Single Processor of a Prototype Data Flow Co.. (context) - Shimada, Hiraki et al. - 1986
1 Dataflow Computer Architecture: Research and Goals (context) - Arvind - 1978
1 Execution Models of Prolog for Parallel Computers (context) - Kascuk - 1990
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC