5775 search results - page 362 / 1155 » A Rationale-based Analysis Tool |
196
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
153
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper is concerned with approximate delay computation algorithms for combinational circuits. As a result of intensive research in the early 90’s [3, 8] efficient tools exi...
189
click to vote
NAR
2006
15 years 6 months ago
2006
The PUMA2 system (available at http://compbio.mcs. 10 anl.gov/puma2) is an interactive, integrated bioinformatics environment for high-throughput genetic sequence analysis and met...
188
Voted
IDA
2009
Springer
15 years 11 months ago
2009
Springer
Knowledge extraction from data volumes of ever increasing size requires ever more flexible tools to facilitate interactive query. Interactivity enables real-time hypothesis testin...
211
Voted
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...