9110 search results - page 1665 / 1822 » Formally-Based Design Evaluation |
119
Voted
EUROSYS
2009
ACM
16 years 17 days ago
2009
ACM
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...
118
Voted
EUROSYS
2008
ACM
16 years 17 days ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
130
Voted
EUROSYS
2007
ACM
16 years 17 days ago
2007
ACM
Failure detectors are fundamental building blocks in distributed systems. Multi-node failure detectors, where the detector is tasked with monitoring N other nodes, play a critical...
160
Voted
EUROSYS
2007
ACM
16 years 17 days ago
2007
ACM
Virtual memory has been successfully used in different domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...
131
Voted
EUROSYS
2006
ACM
16 years 17 days ago
2006
ACM
—Restoring data operations after a disaster is a daunting task: how should recovery be performed to minimize data loss and application downtime? Administrators are under consider...