Automatic inference of memory fences.

Michael Kuperstein Martin T. Vechev Eran Yahav

Published in: FMCAD (2010)

Keyphrases

memory requirements
bayesian networks
bayesian inference
memory space
knowledge base
fully automatic
inference engine
memory usage
information retrieval
feature selection
decision making
expert systems
semi automatic
main memory
probabilistic reasoning
inference process