3667 search results - page 157 / 734 » Software Rejuvenation - Modeling and Analysis |
ASPLOS
2012
ACM
12 years 6 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
AOSD
2010
ACM
14 years 1 months ago
2010
ACM
COBOL is still an important language for building mission critical enterprise systems, and there is huge amount of existing COBOL programs. We have been developing an aspect-orien...
SOFTWARE
2002
13 years 9 months ago
2002
This paper is concerned with handling uncertainty as part of the analysis of data from a medical study. The study is investigating connections between the birth weight of babies an...
ICSM
1998
IEEE
14 years 2 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...
LCTRTS
1998
Springer
14 years 2 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...