7865 search results - page 527 / 1573 » Large correlation analysis |
182
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
163
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
206
click to vote
ISORC
2006
IEEE
16 years 29 days ago
2006
IEEE
Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have alread...
189
click to vote
ECLIPSE
2006
ACM
16 years 27 days ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
207
click to vote
ICSM
2005
IEEE
16 years 16 days ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...