Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries.

Michael D. Wilder Robert Rinker

Published in: DSD (2011)

Keyphrases

source code
real time
data driven
real world
mutual exclusion
hierarchical reinforcement learning
database
control flow
petri net
open source
probabilistic model
special case
multiresolution
data structure
objective function
case study
metadata
machine learning
databases