451 search results - page 89 / 91 » Maintainability of the Linux kernel |
ISCA
2010
IEEE
14 years 16 days ago
2010
IEEE
In this paper, we propose ColorSafe, an architecture that detects and dynamically avoids single- and multi-variable atomicity violation bugs. The key idea is to group related data...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
SIGCOMM
1994
ACM
13 years 11 months ago
1994
ACM
The Network Time Protocol (NTP) is widely deployed in the Internet to synchronize computer clocks to each other and to international standards via telephone modem, radio and satel...
USENIX
1994
13 years 8 months ago
1994
TreadMarks is a distributed shared memory DSM system for standard Unix systems such as SunOS and Ultrix. This paper presents a performance evaluation of TreadMarks running on Ultr...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...