250 search results - page 22 / 50 » Static Probabilistic Timing Analysis for Multi-path Programs |
LCTRTS
2007
Springer
15 years 6 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
97
Voted
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
107
Voted
RTAS
1998
IEEE
15 years 4 months ago
1998
IEEE
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. ...
105
Voted
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...