2278 search results - page 271 / 456 » Specification Techniques for Automatic Performance Analysis ... |
142
Voted
ISESE
2006
IEEE
16 years 3 days ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
173
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The combination of gene expression profiling with linkage analysis has become a powerful paradigm for mapping gene expression quantitative trait loci (eQTL). To date, ...
143
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
162
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
The use of machine learning tools is gaining popularity in neuroimaging, as it provides a sensitive assessment of the information conveyed by brain images. In particular, finding ...
164
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...