IC3-guided abstraction.

Jason Baumgartner Alexander Ivrii Arie Matsliah Hari Mony

Published in: FMCAD (2012)

Keyphrases

integrated circuit
neural network
real time
high level
data abstraction
database
dynamic programming
information technology
search algorithm
multiscale
three dimensional
web services
image processing
feature selection
artificial intelligence
machine learning
data mining