Sciweavers

3667 search results - page 214 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
120
Voted
SCAM
2003
IEEE
15 years 9 months ago
Online Cycle Detection and Difference Propagation for Pointer Analysis
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
David J. Pearce, Paul H. J. Kelly, Chris Hankin
135
Voted
SCAM
2002
IEEE
15 years 8 months ago
Visualization of Exception Propagation for Java Using Static Analysis
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...
Byeong-Mo Chang, Jang-Wu Jo, Soon Hee Her
108
Voted
WER
1999
Springer
15 years 7 months ago
A Knowledge Acquisition Systematic within the Domain Analysis Context
This work presents a systematic approach to knowledge acquisition within the domain analysis context, which grants a well defined process for eliciting and representing domain info...
Mônica Zopelari Roseti, Cláudia Maria...
160
Voted
PEPM
1995
ACM
15 years 7 months ago
Shape Analysis as a Generalized Path Problem
This paper concerns a method for approximating the possible “shapes” that heap-allocated structures in a program can take on. We present a new approach to finding solutions t...
Thomas W. Reps
DSS
2007
128views more  DSS 2007»
15 years 3 months ago
Toward an interoperable dynamic network analysis toolkit
To facilitate the analysis of real and simulated data on groups, organizations and societies, tools and measures are needed that can handle relational or network data that is mult...
Kathleen M. Carley, Jana Diesner, Jeffrey Reminga,...