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