Lock allocation.

Michael Emmi Jeffrey S. Fischer Ranjit Jhala Rupak Majumdar

Published in: POPL (2007)

Keyphrases

resource allocation
concurrency control
allocation problems
resource allocation problems
neural network
dynamic allocation
database
genetic algorithm
artificial intelligence
decision trees
database systems
combinatorial auctions
locking protocol