1403 search results - page 38 / 281 » Quantitative Interprocedural Analysis |
101
click to vote
ADAEUROPE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
FSTTCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
PLDI
2006
ACM
15 years 4 months ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
IEPOL
2006
14 years 11 months ago
2006
I propose a quantitative methodology to analyze the economic impact of e-government based on structural modeling, allowing for a careful description of the underlying theoretical ...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
The low cost of clusters built using commodity components has made it possible for many more users to purchase their own supercomputer. However, even modest-sized clusters make si...