4725 search results - page 533 / 945 » Dependence-Based Program Analysis |
172
click to vote
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...
164
click to vote
ICALP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
164
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
162
click to vote
SIGMETRICS
1999
ACM
15 years 11 months ago
1999
ACM
ded Abstract This paper introduces a new technique for compressing memory address traces. The technique relies on the simple observation that most programs spend their time execut...
160
click to vote
AGP
1997
IEEE
15 years 11 months ago
1997
IEEE
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes setsharing. In thi...