- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Lecture Notes in Computer Science, 5944, S. 3-22
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Augsburg, Berlin
- (who)
-
Universität Augsburg, Springer
- (when)
-
2010
- Creator
-
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
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Wilhelm, Reinhard
- Altmeyer, Sebastian
- Burguière, Claire
- Grund, Daniel
- Herter, Jörg
- Reineke, Jan
- Wachter, Björn
- Wilhelm, Stephan
- Universität Augsburg, Springer
Time of origin
- 2010
Other Objects (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
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
Evaluation of cache partitioning for hard real-time systems
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
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
Evaluation of cache partitioning for hard real-time systems
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
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
Evaluation of cache partitioning for hard real-time systems
A survey of timing verification techniques for multi-core real-time systems