1299 search results - page 43 / 260 » On the Correctness of Operating System Kernels |
140
click to vote
NOSSDAV
2005
Springer
15 years 9 months ago
2005
Springer
Packet loss can severely impact streaming video quality. Repair techniques protect streaming video from packet loss but at the price of a reduced effective transmission rate when...
132
click to vote
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
168
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Color is a powerful attribute that is used to characterize objects for tracking and other surveillance tasks. Since color is dependent on ambient illumination and the imaging equi...
141
click to vote
FORTE
2003
15 years 5 months ago
2003
The aim of passive testing is to detect faults in a system while observing the system during normal operation, that is, without forcing the system to specialized inputs explicitly ...
142
click to vote
TSE
1998
15 years 3 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...