70 search results - page 8 / 14 » An Application of Abstract Interpretation to Floating Point ... |
161
Voted
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...
150
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
163
click to vote
MICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
Media applications are characterized by large amounts of available parallelism, little data reuse, and a high computation to memory access ratio. While these characteristics are p...
143
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Multimedia and communication algorithms from embedded system domain often make extensive use of floating-point arithmetic. Due to the complexity and expense of the floating-poin...
153
Voted
CORR
2011
Springer
15 years 19 days ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...