- 1
GR
Guillaume Revy
1
Documents
Identifiants chercheurs
- guillaume-revy
- IdRef : 14704040X
Présentation
<http://perso.univ-perp.fr/guillaume.revy/>
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Approach based on instruction selection for fast and certified code generationSCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia
Communication dans un congrès
lirmm-00813055v1
|