Skip to Main content Skip to Navigation
New interface


...
tel-02459572v1  Theses
Oscar Luis Vera-Pérez. Dynamic program analysis for suggesting test improvements to developers
Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019. English
...
tel-00084753v1  Theses
Guillaume Huard. Algorithmique du décalage d'instructions
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2001. Français
...
tel-02081178v1  Theses
Adilla Susungi. Analysis and Compilation of Parallel Programming Languages
Computation and Language [cs.CL]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEM046⟩
...
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-00004992v1  Theses
Yves Guerte. Dérivation de programmes impératifs à partir de spécifications algébriques
Autre [cs.OH]. Université Claude Bernard - Lyon I, 1996. Français
...
tel-00177048v1  Habilitation à diriger des recherches
Alain Girault. Contributions à la conception sûre des systèmes embarqués sûrs
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006