386 search results - page 72 / 78 » Static Timing Analysis of Real-Time Operating System Code |
ICSM
2008
IEEE
14 years 2 months ago
2008
IEEE
Up-to-date comments are critical for the successful evolution of a software application. When modifying a function, developers may update the comment associated with the function ...
IISWC
2006
IEEE
14 years 1 months ago
2006
IEEE
Soft errors have become a significant concern and recent studies have measured the “architectural vulnerability factor” of systems to such errors, or conversely, the potentia...
ICSE
2001
IEEE-ACM
14 years 5 days ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
DSN
2007
IEEE
14 years 2 months ago
2007
IEEE
Studies have shown that device drivers and extensions contain 3–7 times more bugs than other operating system code and thus are more likely to fail. Therefore, we present a fail...
OSDI
2006
ACM
14 years 8 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...