1452 search results - page 98 / 291 » Algorithmic Analysis of Array-Accessing Programs |
SAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
112
Voted
CC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
106
Voted
ICSM
1997
IEEE
15 years 4 months ago
1997
IEEE
ÐWe describe a general technique for identifying modules in legacy code. The method is based on concept analysisÐa branch of lattice theory that can be used to identify similarit...
130
click to vote
TMI
2002
15 years 1 days 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...
105
click to vote
ICFP
2005
ACM
16 years 11 days ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...