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