Jitk: A Trustworthy In-Kernel Interpreter Infrastructure.
Xi WangDavid LazarNickolai ZeldovichAdam ChlipalaZachary TatlockPublished in: OSDI (2014)
Keyphrases
- kernel function
- feature space
- information exchange
- production system
- kernel methods
- component analysis
- programming language
- data collection
- mutual subspace method
- convolution kernel
- computing environments
- real time
- control program
- reproducing kernel hilbert space
- expert systems
- neural network
- data sets
- database
- input space
- similarity function
- general purpose
- multiple kernel learning
- support vector
- kernel pca
- kernel regression
- highly distributed
- support environment
- kernel space