5159 search results - page 208 / 1032 » Structural Testing of Executables |
261
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: The ever increasing sizes of population genetic datasets pose great challenges for population structure analysis. The Tracy-Widom (TW) statistical test is widely used ...
291
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
187
Voted
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
We present a range of new results for testing properties of Boolean functions that are defined in terms of the Fourier spectrum. Broadly speaking, our results show that the propert...
197
Voted
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
182
click to vote
DATE
2005
IEEE
16 years 19 days ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...