3667 search results - page 212 / 734 » Software Rejuvenation - Modeling and Analysis |
130
Voted
CC
2000
Springer
15 years 8 months ago
2000
Springer
A fast and scalable interprocedural escape analysis algorithm is presented. The analysis computes a description of a subset of created objects whose lifetime is bounded by the life...
124
Voted
ESEC
1995
Springer
15 years 7 months ago
1995
Springer
This paper presents the results of an exploratory experiment investigating the use of program metrics to predict reachability graph size, reachability graph generation time, and d...
135
Voted
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
Eclipse has the potential to become a widely-used platform for implementation and dissemination of various static analyses for Java. In order to realize this potential, it is impo...
151
Voted
SOCO
2007
Springer
15 years 9 months ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
110
Voted
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...