Sciweavers

1299 search results - page 43 / 260
» On the Correctness of Operating System Kernels
Sort
View
NOSSDAV
2005
Springer
15 years 9 months ago
Adjusting forward error correction with quality scaling for streaming MPEG
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...
Huahui Wu, Mark Claypool, Robert E. Kinicki
SP
2008
IEEE
119views Security Privacy» more  SP 2008»
15 years 10 months ago
Verifying the Safety of User Pointer Dereferences
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...
Suhabe Bugrara, Alex Aiken
ICASSP
2011
IEEE
14 years 7 months ago
Color correction for object tracking across multiple cameras
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...
Satyam Srivastava, Ka Ki Ng, Edward J. Delp
FORTE
2003
15 years 5 months ago
Correct Passive Testing Algorithms and Complete Fault Coverage
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 ...
Arun N. Netravali, Krishan K. Sabnani, Ramesh Visw...
TSE
1998
114views more  TSE 1998»
15 years 3 months ago
KLAIM: A Kernel Language for Agents Interaction and Mobility
—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...
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugli...