Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers.
Jason BaumgartnerMichael L. CaseHari MonyPublished in: FMCAD (2010)
Keyphrases
- mathematical model
- statistical model
- computational model
- probabilistic model
- prediction model
- neural network model
- probability distribution
- prior knowledge
- high level
- hidden markov models
- recommender systems
- multiscale
- em algorithm
- decision making
- learning algorithm
- closed form
- data mining
- bayesian framework
- real time