AAA  Alimentation en énergie  Approche synchrone  Architecture big.LITTLE  Architecture des réseaux d'ordinateurs  Backtrack  CPU  Calcul symbolique  Certification  Circuits intégrés -- Simulation par ordinateur  Circuits intégrés à faible consommation  Circuits numériques synchrones  Circuits électroniques -- Calcul  Compilation  Compilation  Composants  Conception et vérification de faible consommation  Couverture de l’espace d’états  Domaines d’alimentation  Données -- Transmission  Esterel  FFT  Fourier, Transformations de  Fpu  GAJE  GPGPU  Graphes, Théorie des  IDM  Ingénierie dirigée par les modèles  Jeux de tests  Langage flots de données  Langage impératif  Langages de programmation -- Sémantique  Langages de programmation fonctionnelle  Langages de programmation fonctionnels  Langages de programmation synchrones  Langages formels  Logiciels -- Vérification  Manipulation numérique des données  Many-Cœur  Microprocesseurs multi-coeurs  Modèle synchrone  Modèles mathématiques  Modèles transactionnels  Modélisation multi-vues  Méta-modélisation  Niveau transactionnel  Niveaux d'abstraction  Non fourni  Normes  Normes de conception basse consommation  OpenCL  Ordonnancement  Parallélisme  Preuve de programmes  Programmation heuristique  Programmation logique  Pré-conditions  SIMD  SIMT  Simulation compilé  Simulation native  Simulation par ordinateur  Solution de gestion d’énergie éfficace en énergie  Solveurs  Synchrone  SystemC  Système binaire  Systèmes de types  Systèmes enfouis  Systèmes sur puce  Systèmes sur puce  Systèmes, Conception de  Systèmes-sur-puce  Sémantique  TLM  Temps réel  Tests fonctionnels  Traduction par validation  Transmission synchrone  

Robert de Simone a dirigé les 8 thèses suivantes :


Robert de Simone a été président de jury des 4 thèses suivantes :


Robert de Simone a été rapporteur des 2 thèses suivantes :

Informatique
Soutenue le 07-02-2013
Thèse soutenue