Static lock capabilities for deadlock freedom.

Colin S. Gordon Michael D. Ernst Dan Grossman

Published in: TLDI (2012)

Keyphrases

case study
real time
artificial intelligence
concurrency control
processing capabilities
dynamic analysis
databases
computer vision
e learning
website
three dimensional
similarity measure
bayesian networks
learning environment
search algorithm
locking protocol