313 search results - page 38 / 63 » Error Correction Based on Verification Techniques |
DSN
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...
VTS
1997
IEEE
15 years 1 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
GCB
2006
Springer
15 years 1 months ago
2006
Springer
: Despite many years of research on how to properly align sequences in the presence of sequencing errors, alternative splicing and micro-exons, the correct alignment of mRNA sequen...
TSP
2008
14 years 9 months ago
2008
In this paper, energy-based localization methods for source localization in sensor networks are examined. The focus is on least-squares-based approaches due to a good tradeoff betw...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...