Page personnelle

Rémy Garcia

Doctorant – I3S, Université de Nice Sophia Antipolis

Page personnelle

Thèmes :

PPC – Contraintes et SAT

Mots-clés :

  • PPC
  • Floating-point arithmetic
  • Round-off errors
  • Verification

Modifier vos informations