2957 search results - page 214 / 592 » Code analysis and CS-XML |
138
Voted
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
103
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: High-throughput measurement of allele-specific expression (ASE) is a relatively new and exciting application area for array-based technologies. In this paper, we explo...
103
Voted
ERCIM
2008
15 years 3 months ago
2008
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
123
Voted
VLSISP
2008
15 years 3 months ago
2008
The study of Multiple Soft errors on memory modules caused by radiation effects represents an interesting field of current research. The fault tolerance of these devices in radiati...
114
Voted
TIT
2002
15 years 3 months ago
2002
We present a framework for iterative multiuser joint decoding of code-division multiple-access (CDMA) signals, based on the factor-graph representation and on the sum-product algor...