1411 search results - page 121 / 283 » A Value Analysis for C Programs |
120
click to vote
CGO
2005
IEEE
15 years 10 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
149
click to vote
CAV
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
172
click to vote
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...
120
click to vote
EOR
2007
15 years 4 months ago
2007
In this paper, we consider a discrete-time finite-capacity queue with Bernoulli arrivals and batch services. In this queue, the single server has a variable service capacity and s...
162
click to vote
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...