39 search results - page 4 / 8 » Practical Evaluation of Opportunistic Error Correction |
DATE
2006
IEEE
14 years 27 days ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
IEEEMSP
2002
IEEE
13 years 11 months ago
2002
IEEE
—In [1, 2, 3], we have introduced a robust and secure digital signature solution for multimedia content authentication, by integrating content feature extraction, error correctio...
TSE
2008
13 years 6 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
ISPW
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
TAP
2007
Springer
14 years 28 days ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...