Skip to Main content Skip to Navigation
New interface


...
tel-03783658v1  Theses
Diana Resmerita. Compression for deep learning
Signal and Image Processing. Université Côte d'Azur, 2022. English. ⟨NNT : 2022COAZ4043⟩
...
tel-02964528v1  Theses
Hang Yu. Towards an Efficient Parallel Parametric Linear Programming Solver
Computer Arithmetic. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM081⟩
...
tel-01754283v1  Theses
Laurent Fousse. Intégration numérique avec erreur bornée en précision arbitraire
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2006. Français. ⟨NNT : 2006NAN10164⟩
...
tel-01078204v1  Theses
Nicolas Brunie. Contributions to computer arithmetic and applications to embedded systems
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0894⟩
...
tel-03102749v1  Theses
Andrea Bocco. A variable precision hardware acceleration for scientific computing
Discrete Mathematics [cs.DM]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEI065⟩
...
tel-02420901v2  Theses
Yohann Uguen. High-level synthesis and arithmetic optimizations
Mechanics [physics.med-ph]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEI099⟩
...
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-02473301v2  Theses
Yohan Chatelain. Outils de débogage et d’optimisation des calculs flottants dans un contexte HPC
Calcul parallèle, distribué et partagé [cs.DC]. Université Paris-Saclay, Université Versailles Saint-Quentin-en-Yvelines, 2019. Français
...
tel-00397108v1  Habilitation à diriger des recherches
David Monniaux. Analyse statique : de la théorie à la pratique ; analyse statique de code embarqué de grande taille, génération de domaines abstraits
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2009
...
tel-02420937v1  Theses
Clothilde Jeangoudoux. Génération Automatique de Tests Logiciels dans le Contexte de la Certification Aéronautique
Arithmétique des ordinateurs. Sorbonne Universites, UPMC University of Paris 6, 2019. Français
...
tel-01334024v1  Theses
Olga Kupriianova. Towards a modern floating-point environment
Computer Arithmetic. Université Pierre et Marie Curie - Paris VI, 2015. English. ⟨NNT : 2015PA066584⟩
...
tel-00147426v1  Theses
Marc Daumas. Contributions à l'Arithmétique des Ordinateurs : Vers une Maîtrise de la Précision
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 1996. Français
...
tel-00719431v1  Habilitation à diriger des recherches
Daniel Ménard. Contribution à la conception de systèmes en virgule fixe
Traitement du signal et de l'image [eess.SP]. Université Rennes 1, 2011
...
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⟩
...
tel-00460776v5  Theses
Sylvain Chevillard. Évaluation efficace de fonctions numériques - Outils et exemples
Modélisation et simulation. Université de Lyon; Ecole Normale Supérieure de Lyon - ENS LYON, 2009. Français
...
tel-01094485v1  Theses
Guillaume Melquiond. De l'arithmétique d'intervalles à la certification de programmes
Arithmétique des ordinateurs. École Normale Supérieure de Lyon, 2006. Français. ⟨NNT : 2006ENSL0388⟩
...
tel-01267458v1  Theses
Roselyne Chotin-Avot. Architectures matérielles pour l'arithmétique stochastique discrète
Arithmétique des ordinateurs. Université Pierre et Marie Curie (Paris, France), 2003. Français