967 search results - page 91 / 194 » Automated benchmarking and analysis tool |
119
Voted
SCAM
2007
IEEE
15 years 10 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
146
Voted
DLOG
2003
15 years 5 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
137
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
146
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: There are several isolated tools for partial analysis of microarray expression data. To provide an integrative, easy-to-use and automated toolkit for the analysis of A...
116
Voted
ICIAP
1999
ACM
15 years 8 months ago
1999
ACM
—In recent times, improvements in imaging technology have made available an incredible array of information in image format. While powerful and sophisticated image processing sof...