Efficient detection and exploitation of infeasible paths for software timing analysis
暂无分享,去创建一个
Ting Chen | Tulika Mitra | Abhik Roychoudhury | Vivy Suhendra | T. Mitra | Abhik Roychoudhury | Vivy Suhendra | Ting Chen
[1] Trevor Mudge,et al. MiBench: A free, commercially representative embedded benchmark suite , 2001 .
[2] Jakob Engblom,et al. Modeling complex flows for worst-case execution time analysis , 2000, Proceedings 21st IEEE Real-Time Systems Symposium.
[3] Miodrag Potkonjak,et al. MediaBench: a tool for evaluating and synthesizing multimedia and communications systems , 1997, Proceedings of 30th Annual International Symposium on Microarchitecture.
[4] David B. Whalley,et al. Automatic Detection and Exploitation of Branch Constraints for Timing Analysis , 2002, IEEE Trans. Software Eng..
[5] Peter Altenbernd,et al. On the false path problem in hard real-time programs , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.
[6] Per Stenström,et al. Integrating Path and Timing Analysis Using Instruction-Level Simulation Techniques , 1998, LCTES.
[7] Alan C. Shaw,et al. Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..
[8] Todd M. Austin,et al. SimpleScalar: An Infrastructure for Computer System Modeling , 2002, Computer.
[9] David B. Whalley,et al. WCET code positioning , 2004, 25th IEEE International Real-Time Systems Symposium.
[10] Chang Yun Park,et al. Predicting program execution times by analyzing static and dynamic program paths , 1993, Real-Time Systems.
[11] Ting Chen,et al. WCET centric data allocation to scratchpad memory , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).
[12] Jan Gustafsson,et al. Deriving Annotations for Tight Calculation of Execution Time , 1997, Euro-Par.
[13] Thomas A. Henzinger,et al. Lazy abstraction , 2002, POPL '02.
[14] Jakob Engblom,et al. Efficient longest executable path search for programs with complex flows and pipeline effects , 2001, CASES '01.
[15] Peter P. Puschner,et al. Computing Maximum Task Execution Times — A Graph-Based Approach , 1997, Real-Time Systems.
[16] Sharad Malik,et al. Performance Analysis of Embedded Software Using Implicit Path Enumeration , 1995, 32nd Design Automation Conference.