1411 search results - page 99 / 283 » A Value Analysis for C Programs |
167
click to vote
IBPRIA
2005
Springer
15 years 9 months ago
2005
Springer
It is well-known that image pixel values of an object could vary if the lighting conditions change. Some common factors that produce changes in the pixels values are due to the vie...
166
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...
129
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...
151
Voted
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
120
click to vote
PEPM
1994
ACM
15 years 8 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...