HeDGE: Hybrid Dataflow Graph Execution in the Issue Logic.

Suriya Subramanian Kathryn S. McKinley

Published in: HiPEAC (2009)

Keyphrases

control flow
data flow
graph transformation
parallel execution
graph theory
graph representation
directed graph
modal logic

multi valued
active rules
parallel computing
graph structure
predicate logic
weighted graph
maximum entropy
logic programming

classical logic
formal descriptions
graph construction
execution model
proof theory
neural network
plan execution
graph theoretic

hybrid learning
directed acyclic graph
bipartite graph
connected components
process model
random walk
bayesian networks