Login / Signup
Beyond Bug-Finding: Sound Program Analysis for Linux.
Zachary R. Anderson
Eric A. Brewer
Jeremy Condit
Robert Ennals
David Gay
Matthew Harren
George C. Necula
Feng Zhou
Published in:
HotOS (2007)
Keyphrases
</>
operating system
open source
database applications
source code
multi agent systems
software systems
real time
neural network
data mining
machine learning
learning algorithm
computer vision
high level
database systems
data structure