1299 search results - page 129 / 260 » On the Correctness of Operating System Kernels |
131
click to vote
OSDI
2004
ACM
16 years 5 months ago
2004
ACM
We present icTCP, an "information and control" TCP implementation that exposes key pieces of internal TCP state and allows certain TCP variables to be set in a safe fash...
128
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
It is well recognized that LRU cache-line replacement can be ineffective for applications with large working sets or non-localized memory access patterns. Specifically, in lastle...
123
click to vote
SP
2008
IEEE
15 years 11 months ago
2008
IEEE
Rootkits are used by malicious attackers who desire to run software on a compromised machine without being detected. They have become stealthier over the years as a consequence of...
141
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
Linux is the most popular open source project. The Linux random number generator is part of the kernel of all Linux distributions and is based on generating randomness from entrop...
122
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Incremental checkpointing, which is intended to minimize checkpointing overhead, saves only the modified pages of a process. This means that in incremental checkpointing, the time...