181 search results - page 11 / 37 » Code Compaction of an Operating System Kernel |
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
The Freebsd, gnu/Linux, Solaris, and Windows operating systems have kernels that provide comparable facilities. Interestingly, their code bases share almost no common parts, while...
127
click to vote
ENTCS
2007
15 years 2 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
125
click to vote
CODES
2002
IEEE
15 years 7 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
USITS
2001
15 years 3 months ago
2001
In traditional operating systems, modifying the network protocol code is a tedious and error-prone task, largely because the networking stack resides in the kernel. For this reaso...
130
click to vote
DCC
1995
IEEE
15 years 5 months ago
1995
IEEE
We present a fully automatic system for 2D model-based image coding of human faces for potential applications such as video telephony, database image compression, and face recogni...