Hochschulschrift
Combined schedulability and WCET analysis for real-time operating systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832215941
3832215948
- Maße
-
21 cm, 303 gr.
- Umfang
-
XVIII, 184 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Saarbrücken, Univ., Diss., 2003
- Schlagwort
-
Hartes Echtzeitsystem
Mehrprozessorsystem
Multitasking
Planbarkeitsanalyse
Worst-Case-Laufzeit
Programmanalyse
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Shaker
- (wann)
-
2003
- Urheber
-
Schneider, Jörn
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:23 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Schneider, Jörn
- Shaker
Entstanden
- 2003
Ähnliche Objekte (12)
Formal verification of a small real-time operating system
Porting a Real-Time Operating System – A Student Endeavour
Response times of a real-time system with microprogrammed operating system kernel
ClipAssistNet: bringing real-time safety feedback to operating rooms
Interaction-aware analysis and optimization of real-time application and operating system
Real-Time Estelle
Mne-X: MEG/EEG real-time acquisition, real-time processing, and real-time source localization framework
Reusable formal models for concurrency and communication in custom real-time operating systems
Verifying real-time systems
Real-time 3D scanning
HEVC real-time decoding
Real-time propagator eigenstates
Formal verification of a small real-time operating system
Porting a Real-Time Operating System – A Student Endeavour
Response times of a real-time system with microprogrammed operating system kernel
ClipAssistNet: bringing real-time safety feedback to operating rooms
Interaction-aware analysis and optimization of real-time application and operating system
Real-Time Estelle
Mne-X: MEG/EEG real-time acquisition, real-time processing, and real-time source localization framework
Reusable formal models for concurrency and communication in custom real-time operating systems
Verifying real-time systems
Real-time 3D scanning
HEVC real-time decoding
Real-time propagator eigenstates
Formal verification of a small real-time operating system
Porting a Real-Time Operating System – A Student Endeavour
Response times of a real-time system with microprogrammed operating system kernel
ClipAssistNet: bringing real-time safety feedback to operating rooms
Interaction-aware analysis and optimization of real-time application and operating system
Real-Time Estelle
Mne-X: MEG/EEG real-time acquisition, real-time processing, and real-time source localization framework
Reusable formal models for concurrency and communication in custom real-time operating systems
Verifying real-time systems
Real-time 3D scanning
HEVC real-time decoding