243 search results - page 43 / 49 » Error Detection Using Dynamic Dataflow Verification |
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—This paper aims at validation of an iterative receiver for Multiple-Input Multiple-Output with Orthogonal Frequency Division Multiplexing (MIMO-OFDM) systems using real-...
WOSS
2004
ACM
14 years 2 months ago
2004
ACM
Recently there has been increasing interest in developing systems that can adapt dynamically to cope with changing environmental conditions and unexpected system errors. Most effo...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
DSN
2005
IEEE
14 years 2 months ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...
BMCBI
2010
13 years 8 months ago
2010
Background: Time-of-flight mass spectrometry (TOF-MS) has the potential to provide non-invasive, high-throughput screening for cancers and other serious diseases via detection of ...