Ascertaining Uncertainty for Efficient Exact Cache Analysis.

Valentin Touzeau Claire Maïza David Monniaux Jan Reineke

Published in: CAV (2) (2017)

Keyphrases

data analysis
neural network
computationally expensive
data structure
query processing
statistical analysis
quantitative analysis
complexity analysis