181 search results - page 11 / 37 » Code Compaction of an Operating System Kernel |
ICSE
2008
IEEE-ACM
16 years 1 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...
110
Voted
ENTCS
2007
15 years 12 days 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...
107
click to vote
CODES
2002
IEEE
15 years 5 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 1 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...
115
Voted
DCC
1995
IEEE
15 years 4 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...