9316 search results - page 256 / 1864 » Analysis of traceback techniques |
193
click to vote
INFOVIS
2005
IEEE
16 years 7 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...
195
click to vote
PLDI
2009
ACM
16 years 1 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...
154
click to vote
CSB
2005
IEEE
16 years 8 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...
149
click to vote
ESOP
2005
Springer
16 years 6 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 ...
193
click to vote
WCRE
2009
IEEE
16 years 1 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...