Code Analysis for Temporal Predictability
暂无分享,去创建一个
[1] Alan Burns,et al. Writing temporally predictable code , 2002, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002).
[2] Peter P. Puschner. Transforming Execution-Time Boundable Code into Temporally Predictable Code , 2002, DIPES.
[3] Peter P. Puschner. Algorithms for dependable hard real-time systems , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..
[4] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[5] Raimund Kirner,et al. Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs , 2003, EMSOFT.
[6] Ken Kennedy,et al. Conversion of control dependence to data dependence , 1983, POPL '83.
[7] Flemming Nielson,et al. Principles of Program Analysis , 1999, Springer Berlin Heidelberg.
[8] Peter Sestoft,et al. Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.
[9] Flemming Nielson,et al. Semantics with applications - a formal introduction , 1992, Wiley professional computing.
[10] Scott A. Mahlke,et al. A comparison of full and partial predicated execution support for ILP processors , 1995, Proceedings 22nd Annual International Symposium on Computer Architecture.
[11] Frank Tip,et al. A survey of program slicing techniques , 1994, J. Program. Lang..
[12] Julia L. Lawall,et al. A tour of Tempo: a program specializer for the C language , 2004, Sci. Comput. Program..
[13] Jan Gustafsson. Analyzing execution-time of object-oriented programs using abstract interpretation , 2000 .