1299 search results - page 119 / 260 » On the Correctness of Operating System Kernels |
157
click to vote
MASCOTS
2001
15 years 6 months ago
2001
A network emulator, such as the Internet Protocol Traffic and Network Emulator (IP-TNE), enables real applications running on external hosts to interact via a virtual network mode...
157
Voted
ICAC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...
133
click to vote
USS
2008
15 years 7 months ago
2008
We introduce Scantegrity II, a practical enhancement for optical scan voting systems that achieves increased election integrity through the novel use of confirmation codes printed...
148
click to vote
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
We present MobiDesk, a mobile virtual desktop computing hosting infrastructure that leverages continued improvements in network speed, cost, and ubiquity to address the complexity...
125
Voted
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...