352 search results - page 35 / 71 » Evaluating the imprecision of static analysis |
228
click to vote
FAST
2011
14 years 5 months ago
2011
We present Anticipatory Memory Allocation (AMA), a new method to build kernel code that is robust to memoryallocation failures. AMA avoids the usual difficulties in handling allo...
105
click to vote
WCRE
2009
IEEE
15 years 8 months ago
2009
IEEE
The proposed research defines data fusion approaches to support software maintenance tasks at the feature level. Static, dynamic, and textual sources of information are combined t...
127
click to vote
IWPC
2003
IEEE
15 years 7 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
107
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
IWSSD
2000
IEEE
15 years 6 months ago
2000
IEEE
A good architecture is a necessary condition to guarantee that the expected levels of performance, availability, fault tolerance, and scalability are achieved by the implemented s...