-
1
-
-
84877530347
-
Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment
-
Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. ARP4761, 2001.
-
(2001)
ARP4761
-
-
-
5
-
-
84893265472
-
Proartis: Probabilistically analysable real-time systems
-
F.J. Cazorla et al. PROARTIS: Probabilistically analysable real-time systems. ACM TECS, 2013.
-
(2013)
ACM TECS
-
-
Cazorla, F.J.1
-
8
-
-
84885208579
-
Analysis of probabilistic cache related pre-emption delays
-
R. I. Davis, L. Santinelli, S. Altmeyer, C. Maiza, and L. Cucu-Grosjean. Analysis of probabilistic cache related pre-emption delays. In 25th Euromicro Conference on Real-Time Systems, (ECRTS 2013), 2013.
-
(2013)
25th Euromicro Conference on Real-Time Systems, (ECRTS 2013
-
-
Davis, R.I.1
Santinelli, L.2
Altmeyer, S.3
Maiza, C.4
Cucu-Grosjean, L.5
-
9
-
-
84903145670
-
An introduction to probability theory and its applications
-
W. Feller. An introduction to Probability Theory and Its Applications. John Willer and Sons, 1996.
-
(1996)
John Willer and Sons
-
-
Feller, W.1
-
10
-
-
0033334995
-
Fast and e-cient cache behavior prediction for real-time systems
-
C. Ferdinand and R. Wilhelm. Fast and Efficient Cache Behavior Prediction for Real-Time Systems. Real-Time System, XVII, 1999.
-
(1999)
Real-Time System XVII
-
-
Ferdinand, C.1
Wilhelm, R.2
-
12
-
-
67249094609
-
Wcet analysis of multi-level non-inclusive set-associative instruction caches
-
D. Hardy and I. Puaut. WCET analysis of multi-level non-inclusive set-associative instruction caches. In IEEE Real-Time Systems Symposium (RTSS 2008), 2008.
-
(2008)
IEEE Real-Time Systems Symposium (RTSS)2008
-
-
Hardy, D.1
Puaut, I.2
-
13
-
-
84903832984
-
Bus designs for time-probabilistic multicore processors
-
J. Jalle, L. Kosmidis, J. Abella, E. Qui~nones, and F.J. Cazorla. Bus designs for time-probabilistic multicore processors. In Design, Automation and Test in Europe (DATE 2014), 2014.
-
(2014)
Design, Automation and Test in Europe (DATE 2014
-
-
Jalle, J.1
Kosmidis, L.2
Abella, J.3
Quinones, E.4
Cazorla, F.J.5
-
14
-
-
84885202083
-
A coordinated approach for practical os-level cache management in multi-core real-time systems
-
(ECRTS 2013), Paris, France
-
H. Kim, A. Kandhalu, and R. Rajkumar. A coordinated approach for practical os-level cache management in multi-core real-time systems. In 25th Euromicro Conference on Real-Time Systems, (ECRTS 2013), Paris, France, 2013.
-
(2013)
25th Euromicro Conference on Real-Time Systems
-
-
Kim, H.1
Kandhalu, A.2
Rajkumar, R.3
-
15
-
-
84885577478
-
A cache design for probabilistically analysable real-time systems
-
L. Kosmidis, J. Abella, E. Quinones, and F.J. Cazorla. A cache design for probabilistically analysable real-time systems. In Design, Automation and Test in Europe (DATE 2013), 2013.
-
(2013)
Design, Automation and Test in Europe (DATE 2013
-
-
Kosmidis, L.1
Abella, J.2
Quinones, E.3
Cazorla, F.J.4
-
17
-
-
85001790951
-
Applying measurement-based probabilistic timing analysis to buffer resources
-
L. Kosmidis, T. Vardanega, J. Abella, E. Qui~nones, and F.J. Cazorla. Applying measurement-based probabilistic timing analysis to buffer resources. In 13th Workshop on Worst-Case Execution Time (WCET) Analysis, 2013.
-
(2013)
13th Workshop on Worst-Case Execution Time (WCET) Analysis
-
-
Kosmidis, L.1
Vardanega, T.2
Abella, J.3
Quinones, E.4
Cazorla, F.J.5
-
18
-
-
78649589347
-
Extreme value distributions: Theory and applications
-
S. Kotz and S. Nadarajah. Extreme value distributions: theory and applications. World Scientific, 2000.
-
(2000)
World Scienti-c
-
-
Kotz, S.1
Nadarajah, S.2
-
24
-
-
70450235469
-
Hardware support for wcet analysis of hard real-time multicore systems
-
M. Paolieri, E. Quinones, F.J. Cazorla, G. Bernat, and M. Valero. Hardware support for WCET analysis of hard real-time multicore systems. In 36th International Symposium on Computer Architecture (ISCA 2009), 2009.
-
(2009)
36th International Symposium on Computer Architecture (ISCA 2009
-
-
Paolieri, M.1
Quinones, E.2
Cazorla, F.J.3
Bernat, G.4
Valero, M.5
-
27
-
-
34548663356
-
Timing predictability of cache replacement policies
-
November
-
J. Reineke, D. Grund, C. Berg, and R. Wilhelm. Timing predictability of cache replacement policies. Real-Time Systems, 37:99-122, November 2007.
-
(2007)
Real-Time Systems
, vol.37
, pp. 99-122
-
-
Reineke, J.1
Grund, D.2
Berg, C.3
Wilhelm, R.4
-
28
-
-
0033750056
-
Fast and precise wcet prediction by separated cache andpath analyses
-
May
-
H. Theiling, C. Ferdinand, and R. Wilhelm. Fast and precise WCET prediction by separated cache andpath analyses. Real-Time Syst., 18(2/3), May 2000.
-
(2000)
Real-Time Syst
, vol.18
, Issue.2-3
-
-
Theiling, H.1
Ferdinand, C.2
Wilhelm, R.3
-
29
-
-
84928010519
-
Making shared caches more predictable on multicore platforms
-
B. Ward, J. Herman, C. Kenna, and J. Anderson. Making shared caches more predictable on multicore platforms. In 25th Euromicro Conf. on Real-Time Systems, (ECRTS), 2013.
-
(2013)
25th Euromicro Conf. On Real-Time Systems, (ECRTS
-
-
Ward, B.1
Herman, J.2
Kenna, C.3
Anderson, J.4
-
30
-
-
84885404977
-
Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study
-
Porto, Portugal
-
F. Wartel et al. Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. In 8th IEEE International Symposium on Industrial Embedded Systems (SIES), Porto, Portugal, 2013.
-
(2013)
8th IEEE International Symposium on Industrial Embedded Systems (SIES)
-
-
Wartel, F.1
-
31
-
-
43949126892
-
The worst-case execution-time problem overview of methods and survey of tools
-
May
-
Wilhelm R. et al. The worst-case execution-time problem overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems, 7:1-53, May 2008.
-
(2008)
ACM Transactions on Embedded Computing Systems
, vol.7
, pp. 1-53
-
-
Wilhelm, R.1
-
32
-
-
85008258325
-
Static timing analysis of shared caches for multicore processors
-
W. Zhang and J. Yan. Static timing analysis of shared caches for multicore processors. Journal of Computing Science and Engineering, 6(4), 2012.
-
(2012)
Journal of Computing Science and Engineering
, vol.6
, Issue.4
-
-
Zhang, W.1
Yan, J.2
|