181 search results - page 4 / 37 » Code Compaction of an Operating System Kernel |
134
Voted
SOSP
2005
ACM
15 years 9 months ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
107
Voted
ENTCS
2008
15 years 15 days ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
90
Voted
CSMR
2005
IEEE
15 years 6 months ago
2005
IEEE
Software developers are constantly required to modify and adapt application features in response to changing requirements. The problem is that just by reading the source code, it ...
SIGOPSE
2004
ACM
15 years 5 months ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
262
click to vote
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
Foreground detection is at the core of many video processing tasks. In this paper, we propose a novel video foreground detection method that exploits the statistics of 3D space-tim...