Using XBDDs and ZBDDs in points-to analysis.

Ondrej Lhoták Stephen Curial José Nelson Amaral

Published in: Softw. Pract. Exp. (2009)

Keyphrases

image analysis
data sets
website
statistical analysis
quantitative analysis
databases
artificial intelligence
computer vision
data analysis
artificial neural networks
evolutionary algorithm
hidden markov models
endpoints