658 search results - page 29 / 132 » Slicing Methods Using Static and Dynamic Analysis Informatio... |
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
AI
2004
Springer
14 years 2 months ago
2004
Springer
Knowledge Provenance (KP) is proposed to address the problem of how to determine the validity and origin of web information by introducing standards and methods for modeling and ma...
ECOOP
2004
Springer
14 years 2 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
BMCBI
2006
13 years 8 months ago
2006
Background: Dynamic modeling of metabolic reaction networks under in vivo conditions is a crucial step in order to obtain a better understanding of the (dis)functioning of living ...
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...