Refactoring the FreeBSD Kernel with Checked C.
Junhan DuanYudi YangJie ZhouJohn CriswellPublished in: SecDev (2020)
Keyphrases
- kernel function
- kernel methods
- software systems
- support vector
- mutual subspace method
- search engine
- convolution kernel
- data quality
- feature space
- website
- source code
- database systems
- input space
- gaussian processes
- kernel learning
- positive definite
- kernel regression
- object oriented systems
- social networks
- information retrieval
- partial least squares regression