1299 search results - page 59 / 260 » On the Correctness of Operating System Kernels |
144
click to vote
IWACA
1994
15 years 8 months ago
1994
Quality of Service (QoS) guarantees for delay sensitive networked multimedia applications, such as teleoperation, must be application-to-application. We describe a set of services...
143
click to vote
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Patching, upgrading, and maintaining operating system software is a growing management complexity problem that can result in unacceptable system downtime. We introduce AutoPod, a ...
133
click to vote
TRUST
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Increasing adoption of smartphones in recent times has begun to attract more and more malware writers towards these devices. Among the most prominent and widely adopted o...
311
Voted
CVPR
2012
IEEE
13 years 9 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...
127
click to vote
CASES
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we introduce Resizable Data Composer-Cache (RDC-Cache). This novel cache architecture operates correctly at sub 500 mV in 65 nm technology tolerating large number of...