327 search results - page 63 / 66 » Symbolic Fault Injection |
DSN
2008
IEEE
13 years 9 months ago
2008
IEEE
XOR-based erasure codes are a computationallyefficient means of generating redundancy in storage systems. Some such erasure codes provide irregular fault tolerance: some subsets o...
ISCI
2008
13 years 7 months ago
2008
The recent evolution of wireless sensor networks have yielded a demand to improve energy-efficient scheduling algorithms and energy-efficient medium access protocols. This paper p...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
SOSP
2005
ACM
14 years 4 months ago
2005
ACM
This paper presents the design and an evaluation of Mondrix, a version of the Linux kernel with Mondriaan Memory Protection (MMP). MMP is a combination of hardware and software th...
SC
2009
ACM
14 years 2 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...