168 search results - page 12 / 34 » Abstract Interpretation for Worst and Average Case Analysis |
MASCOTS
2007
15 years 3 months ago
2007
—Previously, we have developed a framework to perform systematic analysis of CSMA/CA based wireless MAC protocols. The framework first identifies protocol states that meet our ...
109
Voted
CC
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
128
click to vote
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
119
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
136
click to vote
ICDCIT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...