Login / Signup
Dynamic deadlock avoidance in systems code using statically inferred effects.
Prodromos Gerakios
Nikolaos Papaspyrou
Konstantinos Sagonas
Panagiotis Vekris
Published in:
PLOS@SOSP (2011)
Keyphrases
</>
neural network
expert systems
intelligent systems
building blocks
dynamically changing
legacy systems
database
data sets
artificial intelligence
metadata
case study
digital libraries
artificial neural networks
data model
software engineering
knowledge based systems