-
1
-
-
36049004826
-
-
AbsInt, aiT: Worst case execution time analyzer. http://www.absint.com/ait/, 2005
-
-
-
-
2
-
-
36048981400
-
-
M. Berkelaar, lp_solve: (Mixed Integer) Linear programming problem solver. Available from: ftp://ftp.es.ele.tue.nl/pub/lp_solve
-
-
-
-
3
-
-
36049040525
-
-
D. Burger, T. Austin, The SimpleScalar Tool Set, Version 2.0, Technical Report CS-TR-1997-1342, University of Wisconsin, Madison. http://www.simplescalar.com/docs/users_guide_v2.pdf, Jun. 1997
-
-
-
-
4
-
-
85050550846
-
-
P. Cousot, R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: ACM Symposium on Principles of Programming Languages, 1977
-
-
-
-
5
-
-
36049010540
-
-
CPLEX, The ILOG CPLEX Optimizer v7.5, commercial software. http://www.ilog.com, 2002
-
-
-
-
6
-
-
36049012927
-
-
J. Gustafsson, The WCET Tool Challenge 2006, in: B.S. Tiziana Margaris, Anna Philippou (Eds.), 2nd International Symposium on Leveraging Applications of Formal Methods, ISOLA'06, 2007
-
-
-
-
7
-
-
36049008320
-
-
J. Gustafsson, et al., Swedish execution time tool (SWEET), 2006
-
-
-
-
8
-
-
0343341629
-
-
C. Healy, M. Sjodin, V. Rustagi, D. Whalley, R. Engelen, Supporting timing analysis by automatic bounding of loop iterations, Real-Time Systems 18 (2-3)
-
-
-
-
9
-
-
0036704707
-
-
C. Healy, D. Whalley, Automatic detection and exploitation of branch constraints for timing analysis, IEEE Transactions on Software Engineering 28 (8)
-
-
-
-
10
-
-
6944231166
-
-
R. Heckmann, M. Langenbach, S. Thesing, R. Wilhelm, The influence of processor architecture on the design and the results of WCET tools, Proceedings of the IEEE 91 (7)
-
-
-
-
11
-
-
10444244120
-
-
X. Li, T. Mitra, A. Roychoudhury, Modeling control speculation for timing analysis, Journal of Real-Time Systems 29 (1)
-
-
-
-
12
-
-
33747319225
-
-
X. Li, A. Roychoudhury, T. Mitra, Modeling out-of-order processors for WCET analysis, Journal of Real-Time Systems 34 (3)
-
-
-
-
13
-
-
36048988602
-
-
Y.-T.S. Li, Cinderella 3.0 WCET analyzer. http://www.princeton.edu/~yauli/cinderella-3.0/, 1996
-
-
-
-
15
-
-
36048939569
-
-
T. Ltd., Bound-t execution time analyzer. http://www.bound-t.com, 2005
-
-
-
-
16
-
-
0033337990
-
-
T. Lundqvist, P. Stenström, Timing anomalies in dynamically scheduled microprocessors, in: IEEE Real-Time Systems Symposium, 1999
-
-
-
-
17
-
-
72249092684
-
Worst case execution time and energy analysis
-
Srikant Y., and Shankar P. (Eds), CRC Press
-
Mitra T., and Roychoudhury A. Worst case execution time and energy analysis. In: Srikant Y., and Shankar P. (Eds). The Compiler Design Handbook (2007), CRC Press
-
(2007)
The Compiler Design Handbook
-
-
Mitra, T.1
Roychoudhury, A.2
-
18
-
-
0036953784
-
-
T. Mitra, A. Roychoudhury, X. Li, Timing analysis of embedded software for speculative processors, in: ACM SIGDA International Symposium on System Synthesis, ISSS, 2002
-
-
-
-
19
-
-
36049033585
-
-
I. Puaut, Heptane static WCET analyzer. http://www.irisa.fr/aces/work/heptane-demo/heptane.html, 2003
-
-
-
-
20
-
-
36048971561
-
-
P. Puschner, C. Koza, Calculating the maximum execution time of real-time programs, Journal of Real-time Systems 1 (2)
-
-
-
-
21
-
-
36049051184
-
-
M. research group, WCET benchmark programs. http://www.mrtc.mdh.se/projects/wcet/benchmarks.html
-
-
-
-
22
-
-
36048936201
-
-
A. Shaw, Reasoning about time in higher level language software, IEEE Transactions on Software Engineering 1 (2)
-
-
-
-
23
-
-
36049008967
-
-
J. Souyris, E. Pavec, G. Himbert, V. Jegu, G. Borios, R. Heckmann, Computing the worst case execution time of an avionics program by abstract interpretation. http://www.absint.com/aiT_airbus.pdf
-
-
-
-
24
-
-
36048941921
-
-
J. Staschulat, Symta/p: Symbolic timing analysis for processes. http://www.ida.ing.tu-bs.de/research/projects/symta/home.e.shtml, 2005
-
-
-
-
25
-
-
36048934191
-
-
R. Wilhelm, The worst-case execution time problem-overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems (in press)
-
-
-
-
26
-
-
84944210284
-
Why AI + ILP is good for WCET, but MC is not, nor ILP alone
-
Verification, Model Checking and Abstract Interpretation (VMCAI)
-
Wilhelm R. Why AI + ILP is good for WCET, but MC is not, nor ILP alone. Verification, Model Checking and Abstract Interpretation (VMCAI). LNCS vol. 2937 (2004)
-
(2004)
LNCS
, vol.2937
-
-
Wilhelm, R.1
|