1760 search results - page 140 / 352 » Program Analysis Using Weighted Pushdown Systems |
172
click to vote
CSMR
1999
IEEE
15 years 10 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
129
click to vote
BIOSURVEILLANCE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The paper presents a description of the FMD BioPortal biosurveillance system (http://fmd.ucdavis.edu/bioportal/) that is currently operating to capture, analyze, and diss...
156
Voted
APLAS
2005
ACM
15 years 12 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
183
click to vote
IWMM
2007
Springer
16 years 15 days ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
200
click to vote
TMI
2002
15 years 6 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...