CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.
Ronghui GuZhong ShaoHao ChenXiongnan (Newman) WuJieung KimVilhelm SjöbergDavid CostanzoPublished in: OSDI (2016)
Keyphrases
- operating system
- management system
- databases
- open source
- highly flexible
- real time
- layered architecture
- linear combination
- multiple kernel learning
- kernel methods
- application specific
- database manager
- architectural design
- gaussian processes
- software architecture
- data types
- kernel function
- computer systems
- feature space
- database systems