IBR Login
- Institute of Operating Systems and Computer Networks
- News
- About us
- Connected and Mobile Systems
- Distributed Systems
- Algorithms
- Microprocessor Lab
- Education
- Services
- Spin-Offs
- Research Cooperations
Automatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability
ID | tartler12hotdep |
Type | inProceedings - an article in a conference proceedings |
Author | Reinhard Tartler |
Anil Kurmus | |
Andreas Ruprecht | |
Bernhard Heinloth | |
Valentin Rothberg | |
Daniela Dorneanu | |
Rüdiger Kapitza | |
Wolfgang Schröder-Preikschat | |
Daniel Lohmann | |
IBR Author(s) | Prof. Dr. Rüdiger Kapitza, Dr. Anil Kurmus |
IBR Group(s) | DS (Prof. Kapitza) |
Project | tclouds |
Editor | USENIX |
Title | Automatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability |
Book Title | Proceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12) |
Year | 2012 |
Location | Hollywood, CA, USA |
URL | http://www4.cs.fau.de/Publications/2012/tartler_12_hotdep.pdf |
last changed 2022-08-01, 12:47 by System Account bib-deploy