29 search results - page 5 / 6 » Static Analysis of the XEN Kernel using Frama-C |
SP
2006
IEEE
13 years 11 months ago
2006
IEEE
Linux is the most popular open source project. The Linux random number generator is part of the kernel of all Linux distributions and is based on generating randomness from entrop...
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
CVPR
2006
IEEE
14 years 7 months ago
2006
IEEE
Background subtraction is a widely used paradigm to detect moving objects in video taken from a static camera and is used for various important applications such as video surveill...
ICPR
2006
IEEE
14 years 6 months ago
2006
IEEE
A new method for noise reduction using spatiotemporal smoothing is presented in this paper. The method is developed especially for reducing the noise that arises when acquiring vi...
OSDI
2006
ACM
14 years 5 months 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...