5775 search results - page 42 / 1155 » A Rationale-based Analysis Tool |
ISSS
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper presents a novel source-level dynamic analysis methodology and tool for High-Level Synthesis (HLS). It not only for the first time enables HLS to offer source-level de...
123
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: This paper describes a microarray study including data quality control, data analysis and the analysis of the mechanism of toxicity (MOT) induced by 1-methyl-4-phenylp...
ACSC
2006
IEEE
15 years 5 months ago
2006
IEEE
Malware — a generic term that encompasses viruses, trojans, spywares and other intrusive code — is widespread today. Malware analysis is a multi-step process providing insight...
138
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: A common approach to understanding the genetic basis of complex traits is through identification of associated quantitative trait loci (QTL). Fine mapping QTLs require...
106
click to vote
SIGSOFT
2004
ACM
16 years 17 days ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...