386 search results - page 21 / 78 » A tool for average and worst-case execution time analysis |
CJ
2010
13 years 5 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...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
MASCOTS
2007
13 years 9 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 ...
ADAEUROPE
2000
Springer
14 years 12 hour ago
2000
Springer
of the Reliant Telco Platform, K. Wiesneth Safety-oriented INTERBUS INTERBUS Safety-, K. Meyer-Graefe Developing a Binding Process for Automated Program Recognition and Fault Local...
ISQED
2007
IEEE
14 years 1 months ago
2007
IEEE
Negative bias temperature instability (NBTI) has come to the forefront of critical reliability phenomena in advanced CMOS technology. In this paper, we propose a fast and accurate...