692 search results - page 50 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
TAPIA
2005
ACM
15 years 5 months ago
2005
ACM
The current paper presents research that investigates those factors that affect the recruitment and retention of women and African Americans in the computing sciences. We begin by...
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
109
click to vote
EXPERT
2002
14 years 11 months ago
2002
names in the same abstract already indicates a relation between them. Because of its simplicity, we can apply this approach to large amounts of text and establish interaction netwo...
124
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
101
click to vote
TMI
1998
14 years 11 months ago
1998
Abstract—Computerized detection schemes have the potential of increasing diagnostic accuracy in medical imaging by alerting radiologists to lesions that they initially overlooked...