Autolocker: synchronization inference for atomic sections.

Bill McCloskey Feng Zhou David Gay Eric A. Brewer

Published in: POPL (2006)

Keyphrases

database
search engine
databases
data mining
artificial intelligence
probabilistic inference
inference mechanism
inference problems
real time
e learning
image processing
multi agent
belief networks
inference engine
probabilistic reasoning