3107 search results - page 112 / 622 » Error-Correcting Source Code |
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...
IWPC
2006
IEEE
14 years 4 months ago
2006
IEEE
JIRiSS (Information Retrieval based Software Search for Java) is a software exploration tool that uses an indexing engine based on an information retrieval method. JIRiSS is imple...
ISSE
2010
13 years 8 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
FAST
2009
13 years 8 months ago
2009
Over the past five years, large-scale storage installations have required fault-protection beyond RAID-5, leading to a flurry of research on and development of erasure codes for m...
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Combining multi-source cooperation and linkadaptive regenerative techniques, we develop a novel protocol capable of achieving diversity up to the number of cooperating ...