Modeling Instruction-Level Parallelism for WCET Evaluation
暂无分享,去创建一个
[1] Sharad Malik,et al. Performance analysis of embedded software using implicit path enumeration , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[2] Xianfeng Li,et al. Chronos: A timing analyzer for embedded software , 2007, Sci. Comput. Program..
[3] Eric Rotenberg,et al. Virtual simple architecture (VISA): exceeding the complexity limit in safe real-time systems , 2003, ISCA '03.
[4] David B. Whalley,et al. Integrating the timing analysis of pipelining and instruction caching , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[5] Jakob Engblom,et al. Processor Pipelines and Static Worst-Case Execution Time Analysis , 2002 .
[6] 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).
[7] Reinhard Wilhelm,et al. The influence of processor architecture on the design and the results of WCET tools , 2003, Proceedings of the IEEE.
[8] Xianfeng Li,et al. Modeling Control Speculation for Timing Analysis , 2004, Real-Time Systems.
[9] Pascal Sainrat,et al. A time-predictable execution mode for superscalar pipelines with instruction prescheduling , 2005, CF '05.
[10] Per Stenström,et al. Timing anomalies in dynamically scheduled microprocessors , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).
[11] Christine Rochange,et al. A contribution to branch prediction modeling in WCET analysis , 2005, Design, Automation and Test in Europe.
[12] Pascal Sainrat,et al. OTAWA, a Framework for Experimenting WCET Computations , 2006 .
[13] Xianfeng Li,et al. Modeling out-of-order processors for software timing analysis , 2004, 25th IEEE International Real-Time Systems Symposium.
[14] Sang Lyul Min,et al. An Accurate Worst Case Timing Analysis for RISC Processors , 1995, IEEE Trans. Software Eng..
[15] Stephan Thesing,et al. Safe and precise WCET determination by abstract interpretation of pipeline models , 2004 .