Reducing TCB of Linux Kernel Using User-Space Device Driver.
Weizhong QiangKang ZhangHai JinPublished in: ICA3PP (2016)
Keyphrases
- linux kernel
- user interface
- virtual space
- user satisfaction
- user interaction
- artificial intelligence
- end users
- source code
- operating system
- clone detection
- user experience
- software systems
- cooperative
- user preferences
- low dimensional
- user model
- collaborative filtering
- software evolution
- data warehouse
- query processing