87 search results - page 1 / 18 » The Linux Kernel Configurator as a Feature Modeling Tool |
SPLC
2008
13 years 5 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 ...
SPLC
2010
13 years 6 months ago
2010
Abstract. Understanding the challenges faced by real projects in evolving variability models, is a prerequisite for providing adequate support for such undertakings. We study the e...
MODELS
2009
Springer
13 years 11 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
VAMOS
2010
Springer
13 years 2 months ago
2010
Springer
Lack of realistic benchmarks hinders efficient design and evaluation of analysis techniques for feature models. We extract a variability model from the code base of the Linux kerne...
DAC
2011
ACM
12 years 4 months ago
2011
ACM
We present ChronOS Linux, a best-effort real-time Linux kernel for chip multiprocessors (CMPs). ChronOS addresses the intersection of three problem spaces: a) OS-support for obta...