C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A formal instruction-level GPU model for scalable verification.
Yue Xing
Bo-Yuan Huang
Aarti Gupta
Sharad Malik
Published in:
ICCAD (2018)
Keyphrases
</>
probabilistic model
computational model
formal model
theoretical framework
cost function
process model
similarity measure
probability distribution
learning styles
mathematical model
experimental data
conceptual model
neural network model