Sciweavers

1411 search results - page 38 / 283
» A Value Analysis for C Programs
Sort
View
POPL
1999
ACM
15 years 10 months ago
Type-Based Analysis of Uncaught Exceptions
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...
François Pessaux, Xavier Leroy
ISCAS
2003
IEEE
102views Hardware» more  ISCAS 2003»
15 years 11 months ago
Bifurcation analysis of a power-factor-correction boost converter: uncovering fast-scale instability
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...
C. K. Michael Tse, Octavian Dranga, Herbert H. C. ...
IEEEPACT
2000
IEEE
15 years 10 months ago
On Some Implementation Issues for Value Prediction on Wide-Issue ILP Processors
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...
Sang Jeong Lee, Pen-Chung Yew
DIMVA
2006
15 years 7 months ago
Using Static Program Analysis to Aid Intrusion Detection
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...
Manuel Egele, Martin Szydlowski, Engin Kirda, Chri...
ICSM
1998
IEEE
15 years 10 months ago
Analysis of Programs with Exception-Handling Constructs
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...
Saurabh Sinha, Mary Jean Harrold