Sciweavers

6960 search results - page 287 / 1392
» Continuity Analysis of Programs
Sort
View
PEPM
2007
ACM
15 years 10 months ago
Behavioral similarity matching using concrete source code templates in logic queries
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
Coen De Roover, Theo D'Hondt, Johan Brichau, Carlo...
ASM
2010
ASM
15 years 9 months ago
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
Osman Hasan, Sofiène Tahar
BMCBI
2008
76views more  BMCBI 2008»
15 years 4 months ago
Empirical Bayes analysis of single nucleotide polymorphisms
Background: An important goal of whole-genome studies concerned with single nucleotide polymorphisms (SNPs) is the identification of SNPs associated with a covariate of interest s...
Holger Schwender, Katja Ickstadt
ESWA
2008
124views more  ESWA 2008»
15 years 4 months ago
A hybrid financial analysis model for business failure prediction
Accounting frauds have continuously happened all over the world. This leads to the need of predicting business failures. Statistical methods and machine learning techniques have b...
Shi-Ming Huang, Chih-Fong Tsai, David C. Yen, Yin-...
DATE
2007
IEEE
102views Hardware» more  DATE 2007»
15 years 10 months ago
Accurate and scalable reliability analysis of logic circuits
Reliability of logic circuits is emerging as an important concern that may limit the benefits of continued scaling of process technology and the emergence of future technology al...
Mihir R. Choudhury, Kartik Mohanram