1552 search results - page 109 / 311 » On the Complexity of Constant Propagation |
167
click to vote
IEEEPACT
2006
IEEE
16 years 13 days ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...
146
click to vote
SLIP
2006
ACM
16 years 10 days ago
2006
ACM
Crosstalk aggressor alignment induces significant interconnect delay variation and needs to be taken into account in a statistical timer. In this paper, we approximate crosstalk ...
168
click to vote
ISCA
2005
IEEE
16 years 11 min ago
2005
IEEE
This paper presents a hardware-based dynamic optimizer that continuously optimizes an application’s instruction stream. In continuous optimization, dataflow optimizations are p...
188
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...
192
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...