1299 search results - page 11 / 260 » On the Correctness of Operating System Kernels |
STORAGESS
2005
ACM
15 years 5 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...
OSDI
2008
ACM
16 years 12 hour ago
2008
ACM
Library-based record and replay tools aim to reproduce an application's execution by recording the results of selected functions in a log and during replay returning the resu...
LISA
2004
15 years 1 months ago
2004
IISWC
2009
IEEE
15 years 6 months ago
2009
IEEE
OSDI
2006
ACM
16 years 12 hour ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...