Synthesizing Loops for Program Inversion.

Cong Hou Daniel J. Quinlan David R. Jefferson Richard Fujimoto Richard W. Vuduc

Published in: RC (2012)

Keyphrases

neural network
computer vision
image reconstruction
static analysis
data sets
information retrieval
database systems
preprocessing
data model
hidden markov models
probabilistic model
test cases
programming environment
control program