33 search results - page 1 / 7 » Instrumenting C Programs with Nested Word Monitors |
SPIN
2007
Springer
13 years 11 months ago
2007
Springer
ISORC
2002
IEEE
13 years 9 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
AMAST
2008
Springer
13 years 6 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
SIGOPS
2011
12 years 11 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
ISCA
2008
IEEE
13 years 11 months ago
2008
IEEE
Instruction-grain program monitoring tools, which check and analyze executing programs at the granularity of individual instructions, are invaluable for quickly detecting bugs and...