Reliable and Precise WCET Determination for a Real-Life Processor
By C. Ferdinand, R. Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, S. Thesing, R. Wilhelm. International Conference on Embedded Software, 2001
343 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Hardware and Architecture
View Paper: https://www.semanticscholar.org/paper/5c616f61e8c9f79453dfdad3cdc9300151ef0e43
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
In Hardware and Architecture
Citations in the corpus
- A static analyzer for large safety-critical software (2003, background): “The bounded execution time of the loop body should also be checked by static analysis [16] to prove that the real-time clock interrupt does occur at idle time.”