Performance Comparison of Techniques on Static Path Analysis of WCET
暂无分享,去创建一个
Ge Yu | Zonghua Gu | Qingxu Deng | Nan Guan | Mingsong Lv | Nan Guan | Ge Yu | Qingxu Deng | Z. Gu | Mingsong Lv
[1] Henrik Theiling,et al. Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
[2] Xianfeng Li,et al. Modeling out-of-order processors for WCET analysis , 2006, Real-Time Systems.
[3] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[4] Peter P. Puschner,et al. Calculating the maximum execution time of real-time programs , 1989, Real-Time Systems.
[5] Henrik Theiling,et al. Fast and Precise WCET Prediction by Separated Cache and Path Analyses , 2000, Real-Time Systems.
[6] Zonghua Gu,et al. Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking , 2007, 2007 44th ACM/IEEE Design Automation Conference.
[7] Xianfeng Li,et al. Chronos: A timing analyzer for embedded software , 2007, Sci. Comput. Program..
[8] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .
[9] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[10] Reinhard Wilhelm,et al. Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone , 2004, VMCAI.
[11] Mordechai Ben-Ari,et al. Principles of the spin model checker , 2008 .
[12] Jakob Engblom,et al. The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.
[13] Sharad Malik,et al. Performance Analysis of Embedded Software Using Implicit Path Enumeration , 1995, 32nd Design Automation Conference.
[14] Wa Halang,et al. REAL-TIME SYSTEMS .1. , 1990 .
[15] Zonghua Gu,et al. Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking , 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).
[16] Jakob Engblom,et al. Modeling complex flows for worst-case execution time analysis , 2000, Proceedings 21st IEEE Real-Time Systems Symposium.
[17] Alexander Metzner,et al. Why Model Checking Can Improve WCET Analysis , 2004, CAV.