AAutomate à états finis  ATM [Asynchronous Transfer Mode]  Abstraction formelle  Activités fonctionnelles  Algorithmique distribuée  Allocation dynamique de ressources  Almos  Analyse de stabilité  Analyse des dépendances  Analyse des performances  Analyse statique temporelle  Analyse temporelle  Antémémoire  Architecture -- Informatique  Architecture NUMA  Architecture des ordinateurs  Architecture manycore  Architecture manycores  Auto-test  Bande passante  Basse consommation  Basse tension  Basse tension d'alimentation  Bibliothèque de communication  Bruit de commutation  Bruit, méthodes d'estimation  Bruit, méthodes d'évaluation  C plus-plus  CAO de circuits et systèmes intégrés  CASS, simulations  Capacités commutées  Capacités de couplage  Cc-Numa  Circuits analogiques intégrés CMOS  Circuits analogiques réutilisables  Circuits ananlogiques hiérarchiques  Circuits asynchrones  Circuits interfaces capteurs  Circuits intégrés  Circuits intégrés analogiques [CMOS]  Circuits intégrés analogiques numériques  Circuits intégrés à grande échelle  Circuits intégrés à très grande échelle  Circuits intégrés, vérification  Clusters  Co-conception physique-électrique  Codesign matériel-logiciel  Cohérence  Cohérence des caches  Communications en mode utilisateur  Communications sur puce  Commutateur  Commutation de paquet  Commutation de paquets  Conception analogique automatisée  Conception analogique, automatisation  Conception assistée par ordinateur  Conception circuit  Consommation d'énergie  Consommation énergétique  Contention dans le réseau  Conversion analogique-numérique  Convertisseur Analogique-Numérique  Convertisseur Cyclique  Convertisseur analogique numérique  Convertisseur compact et basse consommation  Courants de fuite  DSPIN [Distributed Scalable Programmable Integrated Network]  Design flow  Diaphonie  Diaphonie capacitive  Distribué  Démarrage du processeur  Détection des conflits  Environnement de programmation  Exploration architecturale  Exploration de mapping  Exploration du domaine de conception  Expression et capitalisation de la connaissance  FAUST [Flexible Architecture of Unified Systems for Telecom]  FIFO bi-synchrone [First In, First Out]  Filtre LC  Filtre de décimation  Firdac  Flots de conception  Fonctionnement multitâche  GALS [Globalement Asynchrone Localement Synchrone]  Garantie de service  Gestion mémoire  Générateurs de mémoires  Génération automatique du dessin des masques  Génération de masques procédurale  Haut débit  Hyperviseur  IP analogique  Ieee 1500  Implantation physique  Intégrateurs mode-courant  Isolation  Langage analogique  Latence, mesures  Localisation de pannes  Logiciel  Logiciel PVM  Logiciels -- Vérification  MPI [Message Passing Interface]  MPSOC  MPSOC [Multi-Processor System On Chip]  Machine parallèle  Many-Core  Many-Cores  Manycore  Micro réseau SPIN  Micro-réseau sur puce  Micro-réseau sur puce [Noc]  Microprocesseurs multi-coeurs  Microélectronique  Migration technologique  Modulateur Sigma Delta  Modulateur Sigma-Delta  Modulation delta-sigma  Module de propriété intellectuelle  Modélisation  Modélisation d'un réseau  Modélisation tridimensionnelle  Mpsoc  Multiprocesseurs  Mémoire partagée répartie  Méthode analytique  NUMA  Networks-on-Chips  NoC [Network-on-Chip]  Noc  Optimisation de design flow  Ordonnancement  Outils de vérification VLSI  PI[Peripheral interconnnect]-Bus  Pannes franches  Parallélisme  Parallélisme  Passage de messages  Pic de tension  Placement  Point de polarisation  Probabilité de contention  Programmation parallèle  Protocoles de communication  Prototypage  Prototypage virtuel  Qualité de service [QoS]  Radio-logicielle  Raffinement progressif  Recepteurs RF multi-standards  Reconfiguration  Reconfiguration  Routage  Réduction de réseaux RC  Réseau  Réseau sur puce  Réseau-Sur-Puce  Résistances d'interconnexion  Résistances-capacités parasites  Résolution de conflits  SBST [Software-Based Self-Test]  SOC [System-on-Chip Soc]  SPIN [Scalable programmable integrated network]  Scalabilité  Scalabilité  Seuil de saturation  Sigma-Delta  Simulation  Simulation de systèmes  Simulation par ordinateur  Simulation parallèle  Simulation, Méthodes de  SoCLib  Soc  Sram  Structure de données  Structure de données, gestion des circuits  Synthèse des communications  Synthèse hiérarchique basée sur la connaissance  System C  System-on-Chip  SystemC  Système d'exploitation  Système de fichiers  Système sur puce  Système sur puce [SoC]  Systèmes adaptatifs  Systèmes d'exploitation répartis  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes intégrés  Systèmes sur puce  Systèmes virtuels  Sécurisation  Tolérance aux fautes  Vlsi  Écriture distante  

Alain Greiner a rédigé les 3 thèses suivantes :


Alain Greiner a dirigé les 92 thèses suivantes :

Informatique, télécommunications et électronique
Soutenue en 2008
Thèse soutenue

Informatique. Microélectronique
Soutenue en 2008
Thèse soutenue

Informatique, télécommunications et électronique
Soutenue en 2008
Thèse soutenue

Architecture des systèmes intégrés et micro-électronique
Soutenue en 2007
Thèse soutenue

Architecture des systèmes intégrés et micro-électronique
Soutenue en 2007
Thèse soutenue

Sciences et techniques
Soutenue en 2000
Thèse soutenue

Sciences et techniques
Soutenue en 2000
Thèse soutenue

Sciences et techniques
Soutenue en 1999
Thèse soutenue

Sciences et techniques
Soutenue en 1999
Thèse soutenue

Sciences et techniques
Soutenue en 1998
Thèse soutenue

Sciences et techniques
Soutenue en 1998
Thèse soutenue

Abstraction fonctionnelle des composants vlsi

par JEAN-BRUCE GUIGNET sous la direction de Alain Greiner - Paris 6

Sciences et techniques
Soutenue en 1998
Thèse soutenue

Sciences et techniques
Soutenue en 1998
Thèse soutenue

Sciences appliquées
Soutenue en 1997
Thèse soutenue

Sciences appliquées
Soutenue en 1997
Thèse soutenue

Sciences appliquées
Soutenue en 1997
Thèse soutenue

Sciences appliquées
Soutenue en 1996
Thèse soutenue

Sciences appliquées
Soutenue en 1996
Thèse soutenue

Sciences appliquées
Soutenue en 1994
Thèse soutenue

Sciences appliquées
Soutenue en 1994
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Sciences appliquées
Soutenue en 1991
Thèse soutenue

Sciences appliquées
Soutenue en 1990
Thèse soutenue

Sciences appliquées
Soutenue en 1990
Thèse soutenue


Alain Greiner a été rapporteur de la thèse suivante :