|
|
|
|
| |
|
|
|
2008
|
|
Improving Operating System Decomposition by Microkernel Design
Sebastian Reichelt
Diploma Thesis, System Architecture Group, University of Karlsruhe, December 15, 2008
Advisors: Prof. Dr. Frank Bellosa, Dr.-Ing. Jan Stöß |
|
[pdf]
[bib]
|
Batch Scheduling for the L4Ka::Pistachio Microkernel
Andreas Mähler
Study Thesis, System Architecture Group, University of Karlsruhe, January 15, 2008
Advisors: Prof. Dr. Frank Bellosa, Dr.-Ing. Jan Stöß |
|
[pdf]
[bib]
|
2007
|
|
Hardware virtualization support for Afterburner/L4
Martin Bäuml
Study Thesis, System Architecture Group, University of Karlsruhe, May 4, 2007
Advisors: Prof. Dr. Frank Bellosa, Dr.-Ing. Jan Stöß |
|
[pdf]
[bib]
|
2006
|
|
Compatibility Mode Support for L4Ka::Pistachio/AMD64
Sebastian Reichelt
Study Thesis, System Architecture Group, University of Karlsruhe, December 7, 2006
Advisors: Prof. Dr. Frank Bellosa, Dr.-Ing. Jan Stöß |
|
[pdf]
[bib]
|
Hardware-Supported Virtualization for the L4 Microkernel
Sebastian Biemüller
Diploma Thesis, System Architecture Group, University of Karlsruhe, September 29, 2006
Advisors: Prof. Dr. Frank Bellosa, Dr.-Ing. Jan Stöß |
|
[pdf]
[bib]
|
SMP for L4Ka::Pistachio/AMD64
Philipp Kupferschmied
Study Thesis, System Architecture Group, University of Karlsruhe, August 9, 2006
Advisors: Prof. Dr. Frank Bellosa, Dr.-Ing. Jan Stöß |
|
[pdf]
[bib]
|
Porting L4Ka::Pistachio to Mips32
Thomas Blattmann
Study Thesis, System Architecture Group, University of Karlsruhe, January 31, 2006
Advisors: Prof. Dr. Frank Bellosa, Dr. Uwe Dannowski |
|
[pdf]
[ps]
[bib]
|
2005
|
|
A Stackable File System for Multiserver Environments
Michael Daub
Study Thesis, System Architecture Group, University of Karlsruhe, August, 2005
Advisor: Espen Skoglund |
|
[pdf]
[bib]
|
Simplifying Server Configuration Management
Björn Tackmann
Study Thesis, System Architecture Group, University of Karlsruhe, May 11, 2005
Advisors: Prof. Dr. Frank Bellosa, Joshua LeVasseur |
|
[pdf]
[bib]
|
Using Operating System Instrumentation and Event Logging to Support User-level Multiprocessor Schedulers
Jan Stoess
Diploma Thesis, System Architecture Group, University of Karlsruhe, March 24, 2005
Advisors: Prof. Dr. Frank Bellosa, Dr. Volkmar Uhlig |
|
[pdf]
[bib]
|
2004
|
|
Multi-Architecture Operating Systems
Ovidiu Dobre
Diploma Thesis, System Architecture Group, University of Karlsruhe, October 4, 2004
Advisors: Prof. Dr. Alfred Schmitt, Espen Skoglund |
|
[pdf]
[bib]
|
2003
|
|
Asynchronous Communication Using Synchronous IPC Primitives
Stefan Götz
Diploma Thesis, System Architecture Group, University of Karlsruhe, May 30, 2003
Advisors: Dr. Volkmar Uhlig, Gerd Liefländer, Prof. Dr. Alfred Schmitt |
|
[pdf]
[ps]
[bib]
|
Managing Kernel Memory Resources from User Level
Andreas Haeberlen
Diploma Thesis, System Architecture Group, University of Karlsruhe, April 25, 2003
Advisors: Dr. Kevin Elphinstone, Dr. Volkmar Uhlig, Prof. Dr. Alfred Schmitt |
|
[pdf]
[ps]
[bib]
|
2002
|
|
Identification and Modeling of Components in the SawMill Operating System
Stephan Wagner
Diploma Thesis, System Architecture Group, University of Karlsruhe, November, 2002
Advisors: Dr. Kevin Elphinstone, Prof. Dr. Gerhard Goos |
|
[ps.gz]
[bib]
|
Design and Implementation of the Recursive Virtual Address Space Model for Small Scale Multiprocessor Systems
Marcus Völp
Diploma Thesis, System Architecture Group, University of Karlsruhe, September, 2002
Advisors: Dr. Volkmar Uhlig, Dr. Kevin Elphinstone |
|
[pdf]
[bib]
|
Design and Performance of a User-level Network Driver in a Multi-Server Operating System
Felix Hupfeld
Diploma Thesis, System Architecture Group, University of Karlsruhe, July, 2002
Advisor: Dr. Kevin Elphinstone |
|
[pdf]
[ps.gz]
[short-de.pdf]
[bib]
|
Using Platform-Specific Optimizations in Stub-Code Generation
Andreas Haeberlen
Study Thesis, System Architecture Group, University of Karlsruhe, July, 2002
Advisor: Dr. Volkmar Uhlig |
|
[pdf]
[ps]
[bib]
|
Design and Implementation of Fast Local IPC for the L4 Microkernel
Horst Wenske
Study Thesis, System Architecture Group, University of Karlsruhe, July, 2002
Advisors: Dr. Uwe Dannowski, Dr. Kevin Elphinstone |
|
[pdf]
[bib]
|
I/O-FlexPages on the x86-Architecture
Jan Stoess
Study Thesis, System Architecture Group, University of Karlsruhe, May 31, 2002
Advisor: Dr. Uwe Dannowski |
|
[pdf]
[ps]
[bib]
|
Prototypical Design and Implementation of L4-SMP Microkernel Mechanisms
Marcus Völp
Study Thesis, System Architecture Group, University of Karlsruhe, April 22, 2002
Advisor: Prof. Dr. Jochen Liedtke |
|
[pdf]
[ps]
[bib]
|
dm_phys: A Dataspace Manager for Physical Memory
Tobias G. Dussa
Study Thesis, System Architecture Group, University of Karlsruhe, March 5, 2002
Advisor: Dr. Kevin Elphinstone |
|
[pdf]
[bib]
|
Implementation of an Orthogonally Persistent L4 Microkernel Based System
Christian Ceelen
Study Thesis, System Architecture Group, University of Karlsruhe, February 15, 2002
Advisor: Espen Skoglund |
|
[pdf]
[ps]
[bib]
|
2001
|
|
Evaluating POSIX-Compatibility on Top of a Component-Based Operating System
Stefan Götz
Study Thesis, System Architecture Group, University of Karlsruhe, December, 2001
Advisor: Dr. Volkmar Uhlig |
|
[pdf]
[bib]
|
An Architecture Independent Kernel Debugger for Hazelnut
Stephan Wagner
Study Thesis, System Architecture Group, University of Karlsruhe, September 14, 2001
Advisor: Dr. Uwe Dannowski |
|
[pdf]
[ps]
[bib]
|
| |
|
| |
|
|
