KIT - Karlsruher Institut für Technologie
ITEC - Lehrstuhl Betriebssysteme
Home
Impressum
Datenschutz
KIT
KIT
en
suchen
suchen
Forschung
Start
Forschung
Forschung
Simutrace
Start
Forschung
Simutrace
Simutrace
Tracing Framework
SimuBoost
Downloads
Documentation
Power Management
Start
Forschung
Power Management
Power Management
AVX Frequency Management
Microkernel Energy Management
Server Power Management
I/O Power Management
Process Cruise Control
Memory Management
Start
Forschung
Memory Management
Memory Management
Non-Volatile Memory Management
DRAM Mapping Aliases
GPU Memory Management
Memory Deduplication
L4Ka Virtualization
Start
Forschung
L4Ka Virtualization
L4Ka Virtualization
Reuse of Unmodified Device Drivers
Pre-Virtualization with Compiler Afterburning
Scalable Multiprocessor Virtual Machines
Studium und Lehre
Start
Studium und Lehre
Studium und Lehre
Kurse im SS 2024
Start
Studium und Lehre
Kurse im SS 2024
Kurse im SS 2024
Linux Internals
Windows Internals
Seminar Hot Topics
OS Lab
Advanced OS
Kurse im WS 2023/2024
Start
Studium und Lehre
Kurse im WS 2023/2024
Kurse im WS 2023/2024
Windows Internals
Seminar Hot Topics
Linux Internals
Virtual Systems
Power Management Lab
Power Management
Operating Systems Tutorials
Operating Systems
Kurse im SS 2023
Start
Studium und Lehre
Kurse im SS 2023
Kurse im SS 2023
OS Lab
Seminar Hot Topics
Windows Internals
Linux Internals
Advanced OS
Bachelor- and Masterarbeiten
Start
Studium und Lehre
Bachelor- and Masterarbeiten
Bachelor- and Masterarbeiten
Abgeschlossene Arbeiten
Latex Template
Frühere Semester
Start
Studium und Lehre
Frühere Semester
Frühere Semester
Kurse
Klausuren
Veröffentlichungen
Start
Veröffentlichungen
Veröffentlichungen
Prof. Bellosa 2005 - Heute
Prof. Liedtke 1999 - 2004
Prof. Wettstein 1970 - 1998
Mitarbeiter
Kontakt
Startseite
Home
Impressum
Datenschutz
suchen
suchen
ITEC -
Lehrstuhl Betriebssysteme
Startseite
Veröffentlichungen
Prof. Wettstein 1970 - 1998
Startseite
Forschung
Studium und Lehre
Veröffentlichungen
Mitarbeiter
Kontakt
Veröffentlichungen
Prof. Bellosa 2005 - Heute
Prof. Liedtke 1999 - 2004
Prof. Wettstein 1970 - 1998
Prof. Wettstein 1970 - 1998
Abstrakte Modelle zur Untersuchung von sicheren Systemen
Autor:
H. vor der Brück
Quelle:
Computing 19, 1977, 15-28
Datum:
1977
