Skip to Main content Skip to Navigation
New interface


...
tel-00783806v1  Theses
Karthick Parashar. System-level approaches for fixed-point refinement of signal processing algorithms
Signal and Image processing. Université Rennes 1, 2012. English
...
tel-00705141v1  Theses
Nguyen Hai Nam. Optimisation de la précision de calcul pour la réduction d'énergie des systèmes embarqués
Traitement du signal et de l'image [eess.SP]. Université Rennes 1, 2011. Français. ⟨NNT : 2011REN1E009⟩
...
tel-01916214v1  Theses
Anastasia Volkova. Towards reliable implementation of digital filters
Computer Arithmetic. Université Pierre et Marie Curie - Paris VI, 2017. English. ⟨NNT : 2017PA066579⟩
...
tel-03202580v1  Theses
Diane Gallois-Wong. Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie
Traitement du signal et de l'image [eess.SP]. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPASG016⟩
...
tel-00438603v1  Theses
Nicolas Veyrat-Charvillon. Opérateurs arithmétiques matériels pour des applications spécifiques
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
...
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-03005325v1  Theses
Justine Bonnot. Analyse d'erreurs pour les systèmes utilisant des calculs approximés
Traitement du signal et de l'image [eess.SP]. INSA de Rennes, 2019. Français. ⟨NNT : 2019ISAR0008⟩
...
tel-00446060v1  Theses
Taofik Saïdi. Architectures matérielles pour la technologie WCDMA étendue aux systèmes mulit-antennes
Micro et nanotechnologies/Microélectronique. Université Rennes 1, 2008. Français
...
tel-00768862v1  Theses
Andrei Banciu. A Stochastic Approach For The Range Evaluation
Signal and Image processing. Université Rennes 1, 2012. English. ⟨NNT : 2012REN1E002⟩
...
tel-01097176v1  Theses
Aymen Chakhari. Evaluation analytique de la précision des systèmes en virgule fixe pour des applications de communication numérique
Traitement du signal et de l'image [eess.SP]. Université de Rennes 1, 2014. 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-00301285v1  Theses
Romain Michard. Opérateurs arithmétiques matériels optimisés
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2008. Français
...
tel-00490369v1  Theses
Ali Daher. Application de la théorie des nombres à la conception optimale et à l'implémentation de très faible complexité des filtres numériques
Traitement du signal et de l'image [eess.SP]. Université de Bretagne occidentale - Brest, 2009. Français
...
tel-01127376v1  Theses
Benoit Lopez. Implémentation optimale de filtres linéaires en arithmétique virgule fixe
Systèmes embarqués. Université Pierre et Marie Curie - Paris VI, 2014. Français. ⟨NNT : 2014PA066357⟩
...
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-00609822v1  Theses
Romuald Rocher. Évaluation analytique de la précision des systèmes en virgule fixe
Traitement du signal et de l'image [eess.SP]. Université Rennes 1, 2006. Français