Improving the first-miss computation in setassociative instruction caches, Euromicro Conf. on Real-Time Systems (ECRTS), 2008. ,
OTAWA: An Open Toolbox for Adaptive WCET Analysis, Software Technologies for Embedded and Ubiquitous Systems, 2010. ,
DOI : 10.1007/978-3-642-16256-5_6
URL : https://hal.archives-ouvertes.fr/hal-01055378
Worst case execution time analysis for a processor with branch prediction. Real-Time Systems, 2000. ,
A survey of hard real-time scheduling for multiprocessor systems, ACM Computing Surveys (CSUR), vol.43, issue.4, p.35, 2011. ,
A fast and efficient cache persistence analysis, 2005. ,
Applying compiler techniques to cache behavior prediction, ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, 1997. ,
On predicting data cache behavior for realtime systems, Languages, Compilers, and Tools for Embedded Systems, 1998. ,
Mediabench: a tool for evaluating and synthesizing multimedia and communicatons systems, Intl symposium on Microarchitecture, 1997. ,
Efficient microarchitecture modelling and path analysis for real-time software, IEEE Real-Time Systems Symposium (RTSS), 1995. ,
Timing anomalies in dynamically scheduled microprocessors, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), 1999. ,
DOI : 10.1109/REAL.1999.818824
Inter-Task WCET computation for A-way Instruction Caches, Symp. on Industrial Embedded Systems (SIES), 2008. ,
A Context-Parameterized Model for Static Analysis of Execution Times, 2009. ,
DOI : 10.1007/978-3-642-00904-4_12
Efficient detection and exploitation of infeasible paths for software timing analysis, Proceedings of the 43rd annual conference on Design automation , DAC '06, 2006. ,
DOI : 10.1145/1146909.1147002