3889 search results - page 259 / 778 » The Use of Program Dependence Graphs in Software Engineering |
138
click to vote
PEPM
2004
ACM
15 years 10 months ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
119
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...
157
click to vote
CCE
2010
15 years 2 months ago
2010
In this work we address the problem of solving multiscenario optimization models that are deterministic equivalents of two-stage stochastic programs. We present a heuristic approx...
127
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an Integer Linear Programming (ILP) approach to the instruction-set extension identification problem. An algorithm that iteratively generates and solves a set...
132
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
We extend the propositional dynamic logic PDL of Fischer and Ladner with a restricted kind of recursive programs using the formalism of visibly pushdown automata (Alur, Madhusudan...