169 search results - page 14 / 34 » From Operating-System Correctness to Pervasively Verified Ap... |
CCS
2007
ACM
14 years 4 months ago
2007
ACM
The increasing number of software-based attacks has attracted substantial efforts to prevent applications from malicious interference. For example, Trusted Computing (TC) technolo...
CLUSTER
2005
IEEE
14 years 4 months ago
2005
IEEE
We have created ZapC, a novel system for transparent coordinated checkpoint-restart of distributed network applications on commodity clusters. ZapC provides a thin virtualization ...
SIGCSE
2000
ACM
14 years 2 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
DSN
2006
IEEE
14 years 4 months ago
2006
IEEE
The Solaris 10 Operating System includes a number of new features for predictive self-healing. One such feature is the ability of the Fault Management software to diagnose memory ...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...