Sciweavers

378 search results - page 8 / 76
» Complete Interval Arithmetic and Its Implementation on the C...
Sort
View
PARA
2004
Springer
15 years 2 months ago
HPC-ICTM: The Interval Categorizer Tessellation-Based Model for High Performance Computing
Abstract. This paper presents the Interval Categorizer Tessellationbased Model (ICTM) for the simultaneous categorization of geographic regions considering several characteristics ...
Marilton S. de Aguiar, Graçaliz Pereira Dim...
111
Voted
ARITH
2009
IEEE
15 years 1 months ago
A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
Claude-Pierre Jeannerod, Herve Knochel, Christophe...
ARITH
2005
IEEE
15 years 3 months ago
Arithmetic Operations in the Polynomial Modular Number System
We propose a new number representation and arithmetic for the elements of the ring of integers modulo p. The socalled Polynomial Modular Number System (PMNS) allows for fast polyn...
Jean-Claude Bajard, Laurent Imbert, Thomas Plantar...
91
Voted
ICALP
2004
Springer
15 years 3 months ago
A Domain Theoretic Account of Picard's Theorem
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
Abbas Edalat, Dirk Pattinson
VMCAI
2005
Springer
15 years 3 months ago
An Overview of Semantics for the Validation of Numerical Programs
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
Matthieu Martel