Alain Greiner
Alain Greiner a rédigé les 3 thèses suivantes :
Principe, modele et realisation d'un serveur de coherence dans un environnement de conception vlsi multi-utilisateurs et multi-machines
par François Pêcheux et Alain Greiner sous la direction de Habib Mehrez - Paris 6
Sciences appliquées
Soutenue en 1992
F-risc : machine risc modulaire integrant une unite flottante. methodologie de conception du jeu d'instructions aux dessins des masques
par JEAN-ARNAUD FRANCOIS et Alain Greiner sous la direction de Habib Mehrez - Paris 6
Sciences appliquées
Soutenue en 1992
Evaluation et aide d'approches adaptatives. Extensions nouvelles aux filtres qr et multidimensionnels
par HASSANE MIMOUN et Alain Greiner sous la direction de Maurice Bellanger - Paris 6
Sciences appliquées
Soutenue en 1991
Alain Greiner a dirigé les 92 thèses suivantes :
Exécution sécurisée de plusieurs machines virtuelles sur une plateforme Manycore
par Clément Dévigne sous la direction de Alain Greiner et de Franck Wajsbürt . - Paris 6
Informatique
Soutenue le 06-07-2017
Système de fichiers scalable pour architectures many-cores à faible empreinte énergétique
par Mohamed Lamine Karaoui sous la direction de Alain Greiner et de Franck Wajsbürt . - Paris 6
Informatique
Soutenue le 28-06-2016
Protocoles scalables de cohérence des caches pour processeurs manycore à espace d'adressage partagé visant la basse consommation.
par Hao Liu sous la direction de Alain Greiner et de Franck Wajsbürt . - Paris 6
Informatique
Soutenue le 27-01-2016
Introduction de mécanismes de tolérance aux pannes franches dans les architectures de processeur « many-core » à mémoire partagée cohérente
par César Fuguet Tortolero sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue le 25-11-2015
Méthode de prototypage virtuel permettant l'évaluation précoce de la consommation énergétique dans les systèmes intégrés sur puce
par Khouloud Zine Elabidine sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue le 16-10-2014
Operating System Design and Implementation for Single-Chip cc-NUMA Many-Core
par Ghassan Almaless sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue le 27-02-2014
Architecture adaptative de mémoire cache exploitant les techniques d'empilement tridimensionnel dans le contexte des multiprocesseurs intégrés sur puce
par Èric Guthmuller sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2013
Techniques de modélisation transactionnelle en temps distribué avec synchronisation relâchée pour la simulation parallèle d'architectures many-core
par Hermann Gioja sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2013
Tlmdt : une stratégie de modélisation basée sur temps distribué pour la simulation prallèle de systèmes multi-processeurs intégrés sur puce
par Aline Vieira De Mello sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2013
Simulation parallèle de systèmes multi-processeurs intégré sur puce modélisé en systemC au niveau transactionnel
par Isaac Maia Pessoa sous la direction de Alain Greiner et de François Pêcheux . - Paris 6
Informatique
Soutenue en 2011
Contrôleur de cache générique pour une architecture manycore massivement parallèle à mémoire partagée cohérente
par Yang Gao sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2011
Détection des pannes franches et reconfiguration automatique dans un micro-réseau intégré sur puce
par Zhen Zhang sous la direction de Alain Greiner et de Mounir Benabdenbi . - Paris 6
Informatique
Soutenue en 2011
Modèle de programmation pour applications parallèles multitâches et outil de déploiement sur architecture multicore à mémoire partagée
par Nicolas Pouillon sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2011
Conception d'un système d'exploitation supportant nativement les architectures multiprocesseurs hétérogènes à mémoire partagée
par Alexandre Bécoulet sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2010
Architecture de sécurité dynamique pour systèmes multiprocesseurs intégrés sur puces
par Joël Porquet sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2010
Modélisation SystemC d'architectures multi-processeurs intégrées sur puce au niveau transactionnel avec représentation du temps
par Emmanuel Viaud sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2009
Conversion analogique numérique basse consommation pour micro-capteurs
par José Bonan sous la direction de Alain Greiner - Paris 6
Informatique, télécommunications et électronique
Soutenue en 2008
Implémentation asynchrone d'un réseau-sur-puce distribué
par Abbas Sheibanyrad sous la direction de Alain Greiner - Paris 6
Informatique. Microélectronique
Soutenue en 2008
Conception et implantation d'un micro-réseau sur puce avec garantie de service
par Ivan Miro Panades sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2008
Convertisseurs analogique-numérique sigma-delta passe-bande radio-fréquence
par NIcolas Beilleau sous la direction de Alain Greiner - Paris 6
Informatique, télécommunications et électronique
Soutenue en 2008
Connaissance et synthèse en vue de la conception et la réutilisation de circuits analogiques intégrés
par Ramy Iskander sous la direction de Alain Greiner - Paris 6
Informatique et micro-électronique
Soutenue en 2008
Conception d'une bibliothèque de composants analogiques pour la synthèse orientée layout
par Vincent Bourguet sous la direction de Alain Greiner - Paris 6
Architecture des systèmes intégrés et micro-électronique
Soutenue en 2007
Auto-test logiciel des systèmes intégrés sur puce (SOC)
par Matthieu Tuna sous la direction de Alain Greiner - Paris 6
Architecture des systèmes intégrés et micro-électronique
Soutenue en 2007
Coriolis : une plate-forme ouverte pour l'évaluation de flots de conception VLSI fortement intégrés
par Christophe Alexandre sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2007
Communications matérielles / logicielles dans les systèmes sur puces multi-processeurs orientés télécommunications
par Etienne Faure sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2007
Définition et implantation d'un langage de conception de composants analogiques réutilisables
par Pierre Nguyen Tuong sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2006
Diagrammes de décision de données pour la vérification de systèmes matériels
par Vincent Beaudenon sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2006
Modélisation et stimulation rapide au niveau cycle pour l'exploration architecturale de systèmes intégrés sur puce
par Richard Buchmann sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2006
Implémentation matérielle d' un micro-réseau SPIN à 32 ports
par Adrijean Andriahantenaina sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2006
Integration d' un micro-réseau à commutation de paquets dans un système multiprocesseur à mémoire partagée intégré sur puce
par Hervé Robert Charlery sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2005
Analyse temporelle des circuits intégrés digitaux CMOS, pour les technologies profondément submicroniques
par Grégoire Avot sous la direction de Alain Greiner - Paris 6
Informatique et micro-électronique
Soutenue en 2003
Méthodes de réduction de réseaux RC appliquées aux outils de vérification de circuits submicroniques
par Patricia Renault sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2003
Étude d'une architecture de commutateur ATM haut débit avec respect de la qualité de service
par Alexandru Stoica sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2002
Optimisations de la bibliothèque de communication MPI pour machines parallèles de type " grappe de PCs " sur une primitive d'écriture distante
par Olivier Glück sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2002
Conception en vue de la réutilisation de convertisseurs analogique-numérique sigma-delta temps-continu mode-courant
par Hassan Aboushady sous la direction de Alain Greiner - Paris 6
Informatique, télécommunications et électronique
Soutenue en 2002
Analyse du bruit dû aux couplages capacitifs dans les circuits intégrés numériques fortement submicroniques
par Fabrice Ilponse sous la direction de Alain Greiner - Paris 6
Informatique, télecommunication et électronique
Soutenue en 2002
Une méthode d'évaluation et de synthèse des communications dans les systèmes intégrés matériel-logiciel
par Denis Hommais sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2001
Conception en vue de la réutilisation de circuits analogiques : application : modulateur Delta-Sigma à très faible tension
par Mohamed Dessouky sous la direction de Alain Greiner - Paris 6
Informatique et micro-électronique
Soutenue en 2001
Conception et réalisation d'un noyau de communication bâti sur la primitive d'écriture distante, pour machines parallèles de type "grappe de PCs"
par Alexandre Fenyo sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2001
Simulation de fautes et optimisation des tests de production pour les circuits analogiques avec prise en compte des tolerances
par ABDELHAKIM KHOUAS sous la direction de Alain Greiner - Paris 6
Sciences et techniques
Soutenue en 2000
Un réseau d'Interconnexion pour systèmes Intégrés
par Pierre Guerrier sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2000
Etude, conception et caractérisation de mémoires Cmos, faible consommation, faible tension en technologies submicroniques
par Arnaud Turier sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 2000
Modelisation et analyse d'une classe d'algorithmes d'ordonnancement pour machines paralleles
par FABRICIO ALVES BARBOSA DA SILVA sous la direction de Alain Greiner - Paris 6
Sciences et techniques
Soutenue en 2000
Conception et realisation d'un controleur reseau programmable pour machine parallele de type grappe de pc
par JEAN-LOU DESBARBIEUX sous la direction de Alain Greiner - Paris 6
Sciences et techniques
Soutenue en 2000
Abstraction fonctionnelle des circuits numeriques vlsi avec une methode formelle basee sur une extraction de reseau de portes
par Anthony Paul Lester Lester of Herne Hill sous la direction de Alain Greiner - Paris 6
Sciences et techniques
Soutenue en 1999
Modeles et methodes probabilistes pour l'evaluation de la consommation des circuits integres vlsi
par JULIEN DUNOYER sous la direction de Alain Greiner - Paris 6
Sciences et techniques
Soutenue en 1999
Analyse semantique de descriptions vhdl synchrones en vue de la synthese
par LUDOVIC JACOMME sous la direction de Alain Greiner - Paris 6
Sciences et techniques
Soutenue en 1999
Analyse temporelle hierarchique des circuits vlsi a tres haute densite d'integration
par KARIM DIOURY sous la direction de Alain Greiner - Paris 6
Sciences et techniques
Soutenue en 1998
Une methode de test des circuits integres, basee sur un decoupage structurel peu recouvrant
par OLIVIER FLORENT sous la direction de Alain Greiner - Paris 6
Sciences et techniques
Soutenue en 1998
Methode de simulation logico-temporelle de circuits numeriques complexes prenant en compte le front des signaux et les collisions dans le cadre de la simulation mixte analogique-numerique
par NIZAR ABDALLAH sous la direction de Alain Greiner - Paris 6
Sciences et techniques
Soutenue en 1998
Abstraction fonctionnelle des composants vlsi
par JEAN-BRUCE GUIGNET sous la direction de Alain Greiner - Paris 6
Sciences et techniques
Soutenue en 1998
Mise en oeuvre, evaluation de performances et verification de la validite de topologies et de schemas de routage pour l'aide a la conception de reseaux d'interconnexion pour architectures paralleles
par ABDELHAFID BOUHRAOUA sous la direction de Alain Greiner - Paris 6
Sciences et techniques
Soutenue en 1998
Conception d'un routeur integre possedant un tampon central et un mecanisme d'auto-configuration
par ALAIN GOEURY sous la direction de Alain Greiner - Paris 6
Sciences et techniques
Soutenue en 1998
Etude et realisation d'une liaison serie a un gigabauds independante du codage des donnees
par ANNE PIERRE DUPLESSIX sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1997
Une nouvelle methode de simulation par evaluation directe des expressions logiques representees par des graphes : application a des circuits modelises par un sous-ensemble du langage vhdl
par HUU NGHIA VUONG sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1997
Outils de verification pour circuits vlsi asga mesfet par des methodes d'abstraction fonctionnelle
par Pascal Rémy sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1997
Etude d'un circuit de serialisation a 3 gbits par seconde en technologie bicmos
par Pascal Couteaux sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1997
Conception et realisation d'un routeur de paquets a hautes performances
par VINCENT REIBALDI sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1997
Isl : etude et realisation d'un reseau de communication a hautes performances pour machines multiprocesseurs a memoire distribuee
par MAJED HALILA sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1996
Realisation de bibliotheques et d'outils logiciels pour la conception de circuits integres sur arseniure de gallium
par PHILIPPE ROYANNEZ sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1996
Conception et realisation d'un reseau d'interconnexion a faible latence et haut debit pour machines multiprocesseurs
par FREDERIC POTTER sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1996
Algorithmes de synthese de circuits programmables bases sur des graphes de decision binaire
par EUDES PRADO LOPES FILHO sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1996
Etude architecturale d'un systeme de reconnaissance en ligne de caracteres manuscrits
par MARC HERVIEU sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1996
Synthese logique des circuits vlsi : utilisation d'un compilateur de cellules complexes et optimisation des performances temporelles
par NATHALIE DICTUS sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1996
Synthese d'architecture de circuits integres : etude de l'ordonnancement au niveau transfert de registres pour prendre en compte les contraintes temporelles imposees par les bibliotheques d'operateurs disponibles
par JEAN-YVES BRUNEL sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1996
Méthode de distribution hiérarchique d'outils de vérification de circuits intégrés VLSI sur un réseau de stations de travail : application à un vérificateur de règles de dessin
par Gilles-Eric Descamps sous la direction de Alain Greiner - Paris 6
Informatique
Soutenue en 1996
Conception et realisation d'un microprocesseur vliw : architecture interne
par Franck Wajsbürt sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1995
Synthese d'automates d'etats fini pour les circuits integres vlsi : optimisation du codage par evaluation du cout apres synthese et synthese d'automates a pile
par M. CHAKER SARWARY sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1995
Conception et realisation d'un microprocesseur vliw : methodologie de conception et implantation vlsi
par Luís Lucas sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1995
Outils d'aide au developpement de bibliotheques vlsi portables
par Frédéric Pétrot sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1994
Un generateur parametrable de multiplieur de frequence utilisant des techniques numeriques
par Michel Combes sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1994
Reseau d'interconnexion pour une machine a passage de messages specialisee dans le traitement d'images
par Éric Dujardin sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1994
Une boite a outils logiciel pour le placement et le routage automatique de schemas electronique
par Vincent Pouilley sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1994
Compilation de chemins de donnees optimises pour circuits vlsi
par LOTFI BEN AMMAR sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1994
Abstraction fonctionnelle des circuits integres cmos
par Marc Laurentin sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1994
Implantation vlsi d'un algorithme de code correcteur d'erreurs et validation formelle de la realisation
par Peter Bieliczky sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1993
Specification et developpement d'un verificateur de regles de testabilite des circuits vlsi
par MOKHTAR HIRECH sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1993
Quelques modeles d'automates cellulaires pour le traitement d'images
par NEUCIMAR JERONIMO-LEITE sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1993
Etude et realisation vlsi d'un circuit accelerateur pour la recherche dans les bases de donnees relationnelles respectant la norme sql1
par MONGIA MHIRI sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1993
Applications du compactage dans une methodologie de conception optimisee de circuits vlsi
par GREGORY CHEVALLIER sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1993
Synthese logique de circuits integres vlsi : utilisation d'un generateur de systeme expert pour la phase de projection structurelle
par PASCALE ALLEGRE sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1993
Synthese logique de circuits integres vlsi : utilisation de graphes de decision binaire dans la phase d'optimisation comportementale
par LUC BURGUN sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1993
Modelisation des temps de propagation et analyse temporelle statique des circuits integres cmos
par AMJAD HAJJAR sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1992
Analyse de la performance de systemes electroniques complexes. Composes de circuits vlsi asic utilisant des latches level-sensitive
par CHIHEB MESSAOUD sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1991
Verification automatique des regles de dessin des circuits vlsi : regles formelles, approche hierarchique
par JAMES S. MEDOU ZENGUE ZE sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1991
Des architectures vlsi pipelines pour les algorithmes numeriques a flots de donnees en representations arithmetiques virgule fixe et virgule flottante
par Habib Mehrez sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1991
Developpement de bibliotheques ecl multi-niveaux pour l'enseignement
par ZOUAOU MILOUA sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1990
Methodologie de conception de microprocesseurs vlsi pour unite centrale de grands systemes : conception des parties de controle
par PIROUZ BAZARGAN SABET sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1990
Methodologie de conception de microprocesseurs vlsi pour unite centrale de grands systemes : conception physique
par LAURENT DUCOUSSO sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1990
Conception d'un processeur flottant 32 bits, multi-formats en technologie cmos (algorithmes et architecture)
par KEYVAN-REZA SHAMSA sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1990
Description de routage de blocs fonctionnels vlsi en implantation standard-cell
par Gilles Lévêque sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1990
Processeur 32 bits en virgule flottante : techniques de validation fonctionnelle, electrique et test a la conception
par Charles Manga Ebongue sous la direction de Alain Greiner - Paris 6
Sciences appliquées
Soutenue en 1990
