Eliminating Concurrency Bugs with Control Engineering.

Terence Kelly Yin Wang Stéphane Lafortune Scott A. Mahlke

Published in: Computer (2009)

Keyphrases

control method
control strategy
control theory
software systems
engineering design
dynamic allocation
control system
concurrency control
mechanical engineering
systems engineering
control strategies
databases
source code
open source
database systems
artificial intelligence
learning algorithm