1880 search results - page 136 / 376 » A Static Analysis for Beta-Binders |
154
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Most of the current software reliability analysis approaches are geared to traditional desktop software systems, which are relatively stable and static throughout their execution....
137
click to vote
ASPDAC
2005
ACM
16 years 3 days ago
2005
ACM
Abstract— This paper proposes an approach to cope with temporal power/ground voltage fluctuation for static timing analysis. The proposed approach replaces temporal noise with a...
204
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Malicious web pages that host drive-by-download exploits have become a popular means for compromising hosts on the Internet and, subsequently, for creating large-scale botnets. In...
125
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
Domains Decomposing Non-Redundant Sharing by Complementation . . . . . . . . . . . . . 69 Enea Zaffanella, Patricia M. Hill, Roberto Bagnara Freeness Analysis Through Linear Refine...
183
click to vote
ICSM
1998
IEEE
15 years 10 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...