|
|
Get More Device Drivers out of the Kernel!
– Peter Chubb National, Peter Chubb
|
|
21
|
Dingo: Taming Device Drivers
– Leonidf Ryzhyk, et al.
- 2009
|
|
6
|
Encapsulated user-level device drivers in the Mungi operating system
– Ben Leslie, Nicholas Fitzroy-dale, Gernot Heiser
- 2004
|
|
2
|
Initial Evaluation of a User-Level Device Driver Framework
– Kevin Elphinstone, Stefan Götz
- 2004
|
|
257
|
Terra: a virtual machine-based platform for trusted computing
– Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh
- 2003
|
|
82
|
Unmodified device driver reuse and improved system dependability via virtual machines
– Joshua Levasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz
- 2004
|
|
20
|
Device driver safety through a reference validation mechanism
– Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
|
|
|
Hardware Works, Software Doesn't:
– Enforcing Modularity With, Emmett Witchel, Krste Asanović
- 2003
|
|
13
|
Towards Untrusted Device Drivers
– Ben Leslie, Gernot Heiser
- 2003
|
|
34
|
User-level Device Drivers: Achieved Performance
– Ben Leslie, Peter Chubb, Nicholas Fitzroy-dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting Shen, Kevin Elphinstone, Gernot Heiser
- 2005
|
|
3
|
A Survey of Architectures for Memory Resident Databases
– Gordon Russell, Paul Cockshott, G Xh
- 1993
|
|
2
|
Standardized but Flexible I/O for Self-Virtualizing Devices
– Joshua Levasseur, Espen Skoglund, Christo Toit, Leon Lynch, Alex Ward, Dulloor Rao, Rolf Neugebauer, Derek Mcauley
|
|
23
|
NGSCB: A Trusted Open System
– Marcus Peinado, Yuqun Chen, Paul Engl, John Manferdelli
- 2004
|
|
2
|
A Survey on the Interaction between Caching, Translation and Protection
– Adam Wiggins
- 2003
|
|
1
|
Hybrid Resource Control for Fast-Path Active Extensions
– Parveen K Patel, Parveen K Patel, Wilson C. Hsieh, John D. Regehr, Date Frank, J. Lepreau, David S. Chapman
- 2003
|
|
|
Submission Date: 2006-10-31
– Optimising L On Blackfin, Clarence Dang, Supervisor Kevin Elphinstone, Assessor Gernot, Heiser Abstract
|
|
|
Architecture and Design; C.2.6 [Computer Communication
– Eric Keller, Evan Green
|
|
7
|
Itanium Page Tables and TLB
– Matthew Chapman, Ian Wienand, Gernot Heiser, New South Wales
- 2003
|
|
5
|
Legba: Fast Hardware Support for Fine-Grained Protection
– Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser
- 2003
|
