Approximate Reachability for Dead Code Elimination in Esterel.

Olivier Tardieu Stephen A. Edwards

Published in: ATVA (2005)

Keyphrases

circuit design
source code
databases
artificial neural networks
evolutionary algorithm
nearest neighbor
real time
data mining
social networks
multiscale
expert systems
state space
piecewise linear
transitive closure
error correcting codes