CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution).

Karlheinz Friedberger

Published in: TACAS (2016)

Keyphrases

search algorithm
real time
pattern recognition
quantitative analysis
database
data sets
learning algorithm
high level
wide range
data analysis
image analysis