Sign in
Formalising the L4 microkernel API.
Rafal Kolanski
Gerwin Klein
Published in:
CATS (2006)
Keyphrases
</>
application programming interface
source code
open source
high level
code snippets
bayesian networks
video sequences
third party
relational databases
google maps
application developers
data model
real time
decision making
feature selection
data mining
neural network