Sciweavers

267 search results - page 3 / 54
» The Linux kernel as a case study in software evolution
Sort
View
KBSE
2003
IEEE
13 years 11 months ago
On the automatic evolution of an OS kernel using temporal logic and AOP
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
Rickard A. Åberg, Julia L. Lawall, Mario S&u...
ICSE
1999
IEEE-ACM
13 years 10 months ago
Linux as a Case Study: Its Extracted Software Architecture
Ivan T. Bowman, Richard C. Holt, Neil V. Brewster
DAC
2011
ACM
12 years 5 months ago
ChronOS Linux: a best-effort real-time multiprocessor Linux kernel
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...
Matthew Dellinger, Piyush Garyali, Binoy Ravindran
EUROSYS
2007
ACM
14 years 3 months ago
Fine grained kernel logging with KLogger: experience and insights
Understanding the detailed behavior of an operating system is crucial for making informed design decisions. But such an understanding is very hard to achieve, due to the increasin...
Yoav Etsion, Dan Tsafrir, Scott Kirkpatrick, Dror ...
IWPSE
2003
IEEE
13 years 11 months ago
Stability and Volatility in the Linux Kernel
Packages are the basic units of release and reuse in software development. The contents and boundaries of packages should therefore be chosen to minimize change propagation and ma...
John Champaign, Andrew J. Malton, Xinyi Dong