AAutomate à états finis  ATM [Asynchronous Transfer Mode]  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 à 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  Consommation d'énergie  Consommation énergétique  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]  Diaphonie  Diaphonie capacitive  Distribué  Démarrage du processeur  Détection des conflits  Environnement de programmation  Exploration architecturale  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  NUMA  NoC [Network-on-Chip]  Noc  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  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é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  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  Sécurité  TAM [Test Access Mechanism]  Technologie fortement submicronique  Temps-continu [TC]  Temps-discret [TD]  Testabilité  Tlb  Tlm  Tolérance aux fautes  Traduction d'adresses virtuelles  Traitement réparti  VCI [Virtual component interface]  Virtualisation  Vlsi  Vérification de modèles  É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, télécommunications et électronique
Soutenue en 2008
Thèse soutenue

Informatique. Microé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

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 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