52 search results - page 5 / 11 » Investigating Large Software System Evolution: The Linux Ker... |
IWPC
2000
IEEE
13 years 12 months ago
2000
IEEE
As a software system evolves, its architecture will drift. System changes are often done without considering their effects on the system structure. These changes often introduce s...
ESEM
2010
ACM
13 years 6 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
MSR
2005
ACM
14 years 1 months ago
2005
ACM
Software continually changes due to performance improvements, new requirements, bug fixes, and adaptation to a changing operational environment. Common changes include modificatio...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We investigate the impact of Operating System's Virtual Memory Managers (VMMs) on performance of enterprise applications. By taking various popular branches of the Linux kerne...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...