2947 search results - page 179 / 590 » Analyzing Program Analyses |
153
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
144
click to vote
LCTRTS
2001
Springer
15 years 10 months ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
163
click to vote
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
150
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
216
click to vote
CGO
2011
IEEE
14 years 10 months ago
2011
IEEE
—Many program analyses benefit, both in precision and performance, from precise pointer analysis. An important dimension of pointer analysis precision is flow-sensitivity, whic...