400 search results - page 54 / 80 » An Extensible Meta-Model for Program Analysis |
EOR
2007
14 years 11 months ago
2007
Newton’s method is a basic tool in numerical analysis and numerous applications, including operations research and data mining. We survey the history of the method, its main ide...
120
click to vote
DLS
2005
15 years 1 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
117
click to vote
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
107
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...
123
click to vote
CIVR
2007
Springer
15 years 6 months ago
2007
Springer
Over the years, many Linear Discriminant Analysis (LDA) algorithms have been proposed for the study of high dimensional data in a large variety of problems. An intrinsic limitatio...