.:. Consultation > Par domaines > Arithmétique des ordinateurs .:.

211 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

How to Compute the Area of a Triangle: a Formal Revisit Boldo S. Dans 21st IEEE International Symposium on Computer Arithmetic (2013) [hal-00790071 - version 1]

On-the-Fly Multi-Base Recoding for ECC Scalar Multiplication without Pre-Computations Chabrier T., Tisserand A. Dans ARITH - 21st IEEE International Symposium on Computer Arithmetic (2013) [hal-00772613 - version 1]

Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program Boldo S., Clement F., Filliâtre J.-C., Mayero M., Melquiond G., Weis P. Journal of Automated Reasoning 50, 4 (2013) 423-456 [hal-00649240 - version 3]

Reconfigurable arithmetic for HPC De Dinechin F., Pasca B. Dans High-Performance Computing using FPGAs, Springer (Ed.) (2013) [ensl-00758377 - version 1]

Fixed-Point Trigonometric Functions on FPGAs De Dinechin F., Istoan M., Sergent G. [ensl-00802777 - version 1]

Conception d'une matrice reconfigurable pour coprocesseur fortement couplé Brunie N., De Dinechin F., De Dinechin B. Dans Symposium en Architectures nouvelles de machines (2013) [ensl-00763067 - version 1]

L'arithmétique sur le tas Brunie N., De Dinechin F., Istoan M., Sergent G. Dans Symposium en Architectures nouvelles de machines (2013) [ensl-00762990 - version 1]

Opérateur matériel de tests de divisibilité par des petites constantes sur de très grands entiers Bigou K., Chabrier T., Tisserand A. Dans ComPAS'13 / SympA'15 - Symposium en Architectures nouvelles de machines (2013) [hal-00772703 - version 1]

Multiple precision evaluation of the Airy Ai function with reduced cancellation Chevillard S., Mezzarobba M. In 21st IEEE Symposium on Computer Arithmetic (2013) [hal-00767085 - version 2]

Parallel Implementation of Interval Matrix Multiplication Revol N., Théveny P. (2013) [hal-00801890 - version 1]