3342 search results - page 110 / 669 » Automating Abstract Interpretation |
100
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Research involving expressed sequence tags (ESTs) is intricately coupled to the existence of large, well-annotated sequence repositories. Comparatively complete and sa...
142
click to vote
ECOOP
2003
Springer
15 years 4 months ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...
99
Voted
SP
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
78
Voted
KDD
2008
ACM
15 years 11 months ago
2008
ACM
Text classification has matured as a research discipline over the last decade. Independently, business intelligence over structured databases has long been a source of insights fo...
84
Voted
ESWA
2008
14 years 11 months ago
2008
In sewage rehabilitation planning, closed circuit television (CCTV) systems are the widely used inspection tools in assessing sewage structural conditions for non man entry pipes....