- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Lecture Notes in Computer Science, 5944, S. 3-22
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg, Berlin
- (wer)
-
Universität Augsburg, Springer
- (wann)
-
2010
- Urheber
-
Wilhelm, Reinhard
Altmeyer, Sebastian
Burguière, Claire
Grund, Daniel
Herter, Jörg
Reineke, Jan
Wachter, Björn
Wilhelm, Stephan
- DOI
-
10.1007/978-3-642-11319-2_3
- URN
-
urn:nbn:de:bvb:384-opus4-698781
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 MEZ
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
- Wilhelm, Reinhard
- Altmeyer, Sebastian
- Burguière, Claire
- Grund, Daniel
- Herter, Jörg
- Reineke, Jan
- Wachter, Björn
- Wilhelm, Stephan
- Universität Augsburg, Springer
Entstanden
- 2010
Ähnliche Objekte (12)
Analysis of preemptively scheduled hard real-time systems
Static probabilistic timing analysis for real-time systems using random replacement caches
On the correctness, optimality and precision of Static Probabilistic Timing Analysis
30th Euromicro Conference on Real-Time Systems: ECRTS 2018, July 3–6, 2018, Barcelona, Spain
Static probabilistic timing analysis for multi-path programs
On the application of static probabilistic timing analysis to memory hierarchies
Towards a declarative modeling and execution framework for real-time systems
Evaluation of cache partitioning for hard real-time systems
On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
Progress on static probabilistic timing analysis for systems with random cache replacement policies
A survey of timing verification techniques for multi-core real-time systems
The case for FIFO real-time scheduling
Analysis of preemptively scheduled hard real-time systems
Static probabilistic timing analysis for real-time systems using random replacement caches
On the correctness, optimality and precision of Static Probabilistic Timing Analysis
30th Euromicro Conference on Real-Time Systems: ECRTS 2018, July 3–6, 2018, Barcelona, Spain
Static probabilistic timing analysis for multi-path programs
On the application of static probabilistic timing analysis to memory hierarchies
Towards a declarative modeling and execution framework for real-time systems
Evaluation of cache partitioning for hard real-time systems
On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
Progress on static probabilistic timing analysis for systems with random cache replacement policies
A survey of timing verification techniques for multi-core real-time systems
The case for FIFO real-time scheduling
Analysis of preemptively scheduled hard real-time systems
Static probabilistic timing analysis for real-time systems using random replacement caches
On the correctness, optimality and precision of Static Probabilistic Timing Analysis
30th Euromicro Conference on Real-Time Systems: ECRTS 2018, July 3–6, 2018, Barcelona, Spain
Static probabilistic timing analysis for multi-path programs
On the application of static probabilistic timing analysis to memory hierarchies
Towards a declarative modeling and execution framework for real-time systems
Evaluation of cache partitioning for hard real-time systems
On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
Progress on static probabilistic timing analysis for systems with random cache replacement policies
A survey of timing verification techniques for multi-core real-time systems