2012 Team Activity Report
ARIC
Arithmetic and Computing
Research centre:
Grenoble - Rhône-Alpes
In partnership with: CNRS, Université Claude Bernard (Lyon 1), Ecole normale supérieure de Lyon
In collaboration with: Laboratoire de l'Informatique du Parallélisme (LIP)
In collaboration with: Laboratoire de l'Informatique du Parallélisme (LIP)
Field: Algorithmics, Programming, Software and Architecture
Theme: Algorithms, Certification, and Cryptography
Theme: Algorithms, Certification, and Cryptography
Keywords: Computer Arithmetic, Numerical Methods, Hardware Accelerators, Computer Algebra, Floating-point Numbers, Interval Analysis