1299 search results - page 16 / 260 » On the Correctness of Operating System Kernels |
108
click to vote
SAINT
2002
IEEE
15 years 6 months ago
2002
IEEE
From a stand point of server operation, performance measurement of the server is important. One of the major parts of the measurement is kernel monitoring, and most server adminis...
108
click to vote
CLUSTER
2003
IEEE
15 years 7 months 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...
123
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
In the past five years, we have been involved in the design and development of Cplanttm . An important goal was to take advantages of commodity approaches wherever possible. In p...
89
Voted
PDP
2007
IEEE
15 years 8 months ago
2007
IEEE
SockMi is a solution for the migration of TCP/IP connections between Linux systems. Only the migrating peer of the connection needs to reside on a Linux system. The migration is c...
119
click to vote
EUROSYS
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we present a mechanism that allows applications to survive operating system kernel crashes and continue functioning with no application data loss after a system reb...