28 search results - page 2 / 6 » On Accelerating Soft-Error Detection by Targeted Pattern Gen... |
JCB
2007
13 years 5 months ago
2007
MicroRNAs (miRNAs) regulate a large proportion of mammalian genes by hybridizing to targeted messenger RNAs (mRNAs) and down-regulating their translation into protein. Although mu...
ASPDAC
1998
ACM
13 years 9 months ago
1998
ACM
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
BMCBI
2008
13 years 5 months ago
2008
eraction networks. In this abstract, we extend this approach by mining functional flow patterns for the purpose of detecting small-sized modules for specific functions. Methods Our...
FMCAD
2007
Springer
13 years 11 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
ISBI
2009
IEEE
14 years 3 days ago
2009
IEEE
Fluorescence tomography has become increasingly popular for detecting molecular targets for imaging gene expression and other cellular processes in vivo in small animal studies. I...