168 search results - page 14 / 34 » Abstract Interpretation for Worst and Average Case Analysis |
186
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
119
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Currently, the increasing rate of routing lookups in Internet routers, the large number of prefixes and also the transition from IPV4 to IPV6, have caused Internet designers to pro...
102
click to vote
AMAST
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
145
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
129
click to vote
CJ
2010
14 years 11 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...