167 search results - page 18 / 34 » Safety checking of machine code |
137
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
123
click to vote
CADE
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
147
Voted
VEE
2005
ACM
15 years 7 months ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
128
Voted
CGO
2008
IEEE
15 years 8 months ago
2008
IEEE
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...
101
click to vote
SP
2008
IEEE
15 years 8 months ago
2008
IEEE
Rootkits are used by malicious attackers who desire to run software on a compromised machine without being detected. They have become stealthier over the years as a consequence of...