Login / Signup
Leveraging speculative architectures for runtime program validation.
Juan Carlos Martínez Santos
Yunsi Fei
Published in:
ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
</>
computer programs
static analysis
test cases
machine learning
search engine
program execution
website
data structure
open source
model validation
data sets
program synthesis
multiscale
image sequences
decision trees
decision making
genetic algorithm
information retrieval