862 search results - page 171 / 173 » Model Checking Interrupt-Dependent Software |
185
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
147
Voted
NDSS
2007
IEEE
16 years 19 days ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
177
click to vote
CDVE
2007
Springer
16 years 16 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
188
Voted
OOPSLA
2007
Springer
16 years 14 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
179
click to vote
IEEEPACT
2006
IEEE
16 years 11 days ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....