A PVS Based Framework for Validating Compiler Optimizations.

Aditya Kanade Amitabha Sanyal Uday P. Khedker

Published in: SEFM (2006)

Keyphrases

main contribution
neural network
data mining
machine learning
hidden markov models
probabilistic model
lightweight
framework enables