共 50 条
[41]
Worst-case execution time analysis of the RTEMS real-time operating system
[J].
13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS,
2001,
:191-198
[42]
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution
[J].
2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE),
2018,
:76-87
[44]
Worst-Case Execution Time Analysis for Many-Core Architectures with NoC
[J].
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2016,
2016, 9884
:211-227
[45]
A modular worst-case execution time analysis tool for Java']Java processors
[J].
PROCEEDINGS OF THE 14TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM,
2008,
:47-+
[46]
Static Worst-Case Execution Time analysis tool for embedded operating systems
[J].
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2008, PT 1, PROCEEDINGS,
2008, 5072
:790-+
[47]
Experiences from Adjusting Industrial Software for Worst-Case Execution Time Analysis
[J].
2021 IEEE 24TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2021),
2021,
:62-70
[48]
CUDA Acceleration of Worst-Case Execution Time Analysis Based On Model Checking
[J].
2022 TENTH INTERNATIONAL CONFERENCE ON ADVANCED CLOUD AND BIG DATA, CBD,
2022,
:206-211
[49]
Realistic worst-case execution time analysis in the context of pervasive system verification
[J].
PROGRAM ANALYSIS AND COMPILATION, THEORY AND PRACTICE: ESSAYS DEDICATED TO REINHARD WILHELM ON THE OCCASION OF HIS 60TH BIRTHDAY,
2007, 4444
:53-+