5093 search results - page 37 / 1019 » How Real are Real Numbers |
121
click to vote
CCA
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. A competition between systems for doing exact real number computations was held in September 2000. We present the results obtained and give a short evaluation of the diļ¬...
143
click to vote
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
103
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
107
click to vote
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
Many techniques have been developed over the years to automatically ļ¬nd bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
134
click to vote
ECRTS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we study temperature-constrained realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. We give a ...