1291 search results - page 99 / 259 » Arithmetic program paths |
129
Voted
IEEEPACT
2002
IEEE
15 years 10 months ago
2002
IEEE
Information about instruction criticality can be used to control the application of micro-architectural resources efficiently. To this end, several groups have proposed methods t...
144
click to vote
SCAM
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...
159
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
155
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
162
Voted
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Trace-based compilation is a promising technique for language compilers and binary translators. It offers the potential to expand the compilation scopes that have traditionally be...