207 search results - page 35 / 42 » Testing and Model-Checking Techniques for Diagnosis |
113
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Microarray experiments are becoming a powerful tool for clinical diagnosis, as they have the potential to discover gene expression patterns that are characteristic for...
131
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: The use of mass spectrometry as a proteomics tool is poised to revolutionize early disease diagnosis and biomarker identification. Unfortunately, before standard super...
124
click to vote
IFIP12
2004
15 years 1 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
172
click to vote
ASPLOS
2009
ACM
16 years 8 days ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
SIGSOFT
2007
ACM
16 years 11 days ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...