Skip to Main content Skip to Navigation
New interface


...
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-01346105v1  Habilitation à diriger des recherches
Claude Michel. Contraintes sur les réels et contraintes sur les flottants: contributions.
Informatique [cs]. Universite Nice Sophia Antipolis, 2016
...
tel-01371978v1  Habilitation à diriger des recherches
Pierre-Loïc Garoche. Convex Optimization-based Static Analysis for Control Systems
Computation and Language [cs.CL]. INPT; Université de toulouse, 2016
...
tel-00657843v2  Theses
Mioara Maria Joldes. Rigorous Polynomial Approximations and Applications
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0655⟩
...
tel-01089643v1  Habilitation à diriger des recherches
Sylvie Boldo. Deductive Formal Verification: How To Make Your Floating-Point Programs Behave
Computer Arithmetic. Université Paris-Sud, 2014
...
tel-03783734v1  Theses
Farah Benmouhoub. Optimisation de la précision numérique des codes parallèles
Arithmétique des ordinateurs. Université de Perpignan, 2022. Français. ⟨NNT : 2022PERP0009⟩
...
tel-03831483v1  Habilitation à diriger des recherches
Pablo de Oliveira Castro. High Performance Computing code optimizations: Tuning performance and accuracy
Computer Science [cs]. Université Paris-Saclay, 2022
...
tel-03783658v1  Theses
Diana Resmerita. Compression for deep learning
Signal and Image Processing. Université Côte d'Azur, 2022. English. ⟨NNT : 2022COAZ4043⟩
...
tel-03116750v1  Theses
Nestor Demeure. Gestion du compromis entre la performance et la précision de code de calcul
General Mathematics [math.GM]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASM004⟩
...
tel-01755720v1  Theses
Gaël Deest. Implementation trade-offs for FGPA accelerators
Computer Arithmetic. Université Rennes 1, 2017. English. ⟨NNT : 2017REN1S102⟩
...
tel-02964528v1  Theses
Hang Yu. Towards an Efficient Parallel Parametric Linear Programming Solver
Computer Arithmetic. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM081⟩
...
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-01143824v1  Theses
Laurent Thévenoux. Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754
Arithmétique des ordinateurs. Université de Perpignan Via Domitia, 2014. Français
...
tel-00477243v1  Theses
Laurent Fousse. Intégration numérique avec erreur bornée en précision arbitraire
Modélisation et simulation. Université Henri Poincaré - Nancy I, 2006. Français
...
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⟩