3889 search results - page 180 / 778 » The Use of Program Dependence Graphs in Software Engineering |
141
click to vote
CPHYSICS
2007
15 years 4 months ago
2007
A new software code for computing selected eigenvalues and associated eigenvectors of a real symmetric matrix is described. The eigenvalues are either the smallest or those closes...
153
click to vote
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...
116
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
191
click to vote
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
129
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
We present Binary Refactoring: a software engineering technique for improving the implementation of programs without modifying their source code. While related to regular refactor...