A Context-Parameterized Model for Static Analysis of Execution Times
暂无分享,去创建一个
[1] Iain Bate,et al. Efficient integration of bimodal branch prediction and pipeline analysis , 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).
[2] Reinhard Wilhelm,et al. Cache Behavior Prediction by Abstract Interpretation , 1996, SAS.
[3] Isabelle Puaut,et al. Worst Case Execution Time Analysis for a Processor with Branch Prediction , 2004, Real-Time Systems.
[4] Xianfeng Li,et al. Modeling out-of-order processors for software timing analysis , 2004, 25th IEEE International Real-Time Systems Symposium.
[5] Jan Gustafsson,et al. Worst-case execution-time analysis for embedded real-time systems , 2003, International Journal on Software Tools for Technology Transfer.
[6] Stephan Thesing,et al. Safe and precise WCET determination by abstract interpretation of pipeline models , 2004 .
[7] Jan Gustafsson,et al. Towards Industry-Strength Worst-Case Execution Time Analysis , 1999 .
[8] Per Stenström,et al. An Integrated Path and Timing Analysis Method based on Cycle-Level Symbolic Execution , 1999, Real-Time Systems.
[9] Pascal Sainrat,et al. OTAWA, a Framework for Experimenting WCET Computations , 2006 .
[10] Xianfeng Li,et al. Modeling out-of-order processors for WCET analysis , 2006, Real-Time Systems.
[11] Sharad Malik,et al. Performance Analysis of Embedded Software Using Implicit Path Enumeration , 1995, 32nd Design Automation Conference.
[12] Pascal Sainrat,et al. Modeling Instruction-Level Parallelism for WCET Evaluation , 2006, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06).
[13] Jakob Engblom,et al. Processor Pipelines and Static Worst-Case Execution Time Analysis , 2002 .