A Simple Model for Certifying Assembly Programs with First-Class Function Pointers.

Wei Wang Zhong Shao Xinyu Jiang Yu Guo

Published in: TASE (2011)

Keyphrases

probabilistic model
theoretical framework
cost function
formal model
parameter estimation
mathematical model
object model
database
high level
training set
probability distribution
management system
em algorithm
computational model
statistical model
simulation model