Skip to Main content Skip to Navigation
New interface


...
tel-00654121v2  Theses
Bogdan Mihai Pasca. High-performance floating-point computing on reconfigurable circuits
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0656⟩
...
tel-00745553v1  Theses
Erik Martin-Dorel. Contributions to the Formal Verification of Arithmetic Algorithms
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0742⟩