Response times of a real-time system with microprogrammed operating system kernel
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
47 S.
- Sprache
-
Englisch
- Anmerkungen
-
12 graph. Darst.
Literaturverz. S. 44 - 47
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Bibliothek d. Fak. für Mathematik u. Informatik, TUM
- (wann)
-
1985
- Urheber
-
Tempelmeier, Theodor
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 11.06.2025, 13:47 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.
Beteiligte
- Tempelmeier, Theodor
- Bibliothek d. Fak. für Mathematik u. Informatik, TUM
Entstanden
- 1985
Ähnliche Objekte (12)
Formal verification of a small real-time operating system
Porting a Real-Time Operating System – A Student Endeavour
Combined schedulability and WCET analysis for real-time operating systems
Verifying real-time systems
Interaction-aware analysis and optimization of real-time application and operating system
Advances in real-time systems
Design of the SPEEDOS operating system kernel
Reusable formal models for concurrency and communication in custom real-time operating systems
Advances in distributed real-time sensor-actuator systems operation : operating systems, communication, and application design concepts
Advances in Distributed Real-Time Sensor/Actuator Systems Operation - Operating Systems, Communication, and Application Design Concepts -
Real-time systems : the international journal of time-critical computing systems
Real-Time Environmental Parameters Monitoring System
Formal verification of a small real-time operating system
Porting a Real-Time Operating System – A Student Endeavour
Combined schedulability and WCET analysis for real-time operating systems
Verifying real-time systems
Interaction-aware analysis and optimization of real-time application and operating system
Advances in real-time systems
Design of the SPEEDOS operating system kernel
Reusable formal models for concurrency and communication in custom real-time operating systems
Advances in distributed real-time sensor-actuator systems operation : operating systems, communication, and application design concepts
Advances in Distributed Real-Time Sensor/Actuator Systems Operation - Operating Systems, Communication, and Application Design Concepts -
Real-time systems : the international journal of time-critical computing systems
Real-Time Environmental Parameters Monitoring System
Formal verification of a small real-time operating system
Porting a Real-Time Operating System – A Student Endeavour
Combined schedulability and WCET analysis for real-time operating systems
Verifying real-time systems
Interaction-aware analysis and optimization of real-time application and operating system
Advances in real-time systems
Design of the SPEEDOS operating system kernel
Reusable formal models for concurrency and communication in custom real-time operating systems
Advances in distributed real-time sensor-actuator systems operation : operating systems, communication, and application design concepts
Advances in Distributed Real-Time Sensor/Actuator Systems Operation - Operating Systems, Communication, and Application Design Concepts -
Real-time systems : the international journal of time-critical computing systems