Wireless transmission of a single bit can require over 1000 times more energy than a single 32-bit computation. It can therefore be beneficial to per...

This article presents the design, implementation, and evaluation of EScheduler, an energy-efficient soft real-time CPU scheduler for multimedia appli...

This article presents a new mechanism that enables applications to run correctly when device drivers fail. Because device drivers are the principal f...

Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal depend...

This article shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for find...