451 search results - page 5 / 91 » Maintainability of the Linux kernel |
SIGCSE
2005
ACM
14 years 1 months ago
2005
ACM
Operating system courses teach students much more when they provide hands-on kernel-level project experience with a real operating system. However, enabling a large class of stude...
CSREAESA
2010
13 years 5 months ago
2010
Component-based operating systems enable embedded systems to adapt system policies, mechanisms, and abstractions to the specific workloads and contexts of each system. The scope o...
CLUSTER
2003
IEEE
14 years 23 days ago
2003
IEEE
In this paper, we compare running the Linux operating system on the compute nodes of ASCI Red hardware to running a specialized, highly-optimized lightweight kernel (LWK) operatin...
SPLC
2008
13 years 9 months ago
2008
In order to contribute to the understanding of how the SPL community and the open source community can benefit from each other, we present the Linux Kernel Configurator (LKC). We ...
ASPLOS
2009
ACM
14 years 8 months ago
2009
ACM
A minimal, bounded hardware transactional memory implementation significantly improves synchronization performance when used in an operating system kernel. We add HTM to Linux 2.4...