1411 search results - page 38 / 283 » A Value Analysis for C Programs |
POPL
1999
ACM
14 years 1 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
ISCAS
2003
IEEE
2003
IEEE
Bifurcation analysis of a power-factor-correction boost converter: uncovering fast-scale instability
14 years 1 months ago
Bifurcation analysis is performed to a power-factor-correction (PFC) boost converter to examine the fast-scale instability problem. Computer simulations and analysis reveal the po...
IEEEPACT
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper, we look at two issues which could affect the performance of value prediction on wide-issue ILP processors. One is the large number of accesses to the value predicti...
DIMVA
2006
13 years 10 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
ICSM
1998
IEEE
14 years 28 days 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...