9316 search results - page 256 / 1864 » Analysis of traceback techniques |
218
click to vote
INFOVIS
2005
IEEE
16 years 25 days ago
2005
IEEE
Many visual analysis tools operate on a fixed set of data. However, professional information analysts follow issues over a period of time and need to be able to easily add new doc...
211
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
173
click to vote
CSB
2005
IEEE
16 years 26 days ago
2005
IEEE
High-throughput scoring of image-based biological assays heavily depends on the extraction of quantitative numerical information from microscopy images. This paper describes how t...
159
click to vote
ESOP
2005
Springer
16 years 23 days ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
212
click to vote
WCRE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Current malware is often transmitted in packed or encrypted form to prevent examination by anti-virus software. To analyze new malware, researchers typically resort to dynamic c...