Accès mémoire non-Linéaire  Accélérateurs matériels  Accélération matérielle  Adas  Algorithme  Algorithmes  Analyse  Analyse de précision  Architecture  Arithmétique en virgule fixe  Arithmétique en virgule flottante  Automobiles -- Systèmes d'aide à la conduite  Bioinformatique  Circuits intégrés à faible consommation  Circuits intégrés à la demande  Commande numérique  Compilateur  Compilateurs de silicium  Compilation  Compilation hybride  Compilation source-À-Source  Contention  Conversion de virgule flottante en virgule fixe  Conversion flottantvers fixe  FPGA  GPU  Génération de code  Génération de code C  Informatique  Localité de données  Microcontrôleurs  Microprocesseurs multi-coeurs  Modèle polyédrique  Modèles de performance  Multi-Cœurs  Multiprocesseur  Optimisation de boucles  Optimisation de la largeur des mots  Optimisation des largeurs  Optimization de boucles  Ordonnancement  Ordonnancement  Parallélisme  Polyèdres  Processeurs embarqués  Profilage  Programmation parallèle  Programmation parallèle  Reconnaissance de l'activité humaine  Réseaux de capteurs  Réseaux de capteurs  Réseaux logiques programmables par l'utilisateur  Réseaux sans fil  SoCs hétérogènes  Stencils itératifs  Structure itérative  Synthèse de haut niveau  Systèmes temps-Réel  Systèmes de communication sans fil  Systèmes embarqués  Systèmes embarqués  Systèmes sur puce  Temps réel  Temps réel  Thèses et écrits académiques  Traduction Dynamique de Binaires  Traitement Images  Traitement d'images  Transformation de boucles  VLIW  Vectorisation  Vidéo  Vision par ordinateur  Xfor  Élimination des quantificateurs  Élimination quantificateurs  

Steven Derrien a dirigé les 7 thèses suivantes :

Informatique
Soutenue le 14-12-2017
Thèse soutenue


Steven Derrien a été président de jury des 2 thèses suivantes :

Informatique
Soutenue le 14-12-2016
Thèse soutenue

Steven Derrien a été rapporteur des 2 thèses suivantes :