Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Anciennes équipes : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Anciens thèmes : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- BUI Thi Minh Phung : “La structuration sémantique des contenus des documents audiovisuels selon les points de vue de la production”, direction de recherche Jean-Pierre BALPE, soutenance 26/06/2003.
- CHOTIN Roselyne : “Architectures matérielles pour l'arithmétique stochastique discrète”, direction de recherche Habib MEHREZ, soutenance 06/06/2003.
- CHOTIN-AVOT Roselyne : “Architectures matérielles pour l'arithmétique stochastique discrète”, direction de recherche Habib MEHREZ, soutenance 06/06/2003.
- AVOT Grégoire : “Analyse temporelle des circuits intégrés digitaux CMOS, pour les technologies profondément submicroniques”, direction de recherche Marie-Minerve LOUËRAT, soutenance 25/02/2003.
- BENABDENBI Mounir : “Conception en vue du test de systèmes intégrés sur silicium (SoC)”, direction de recherche Meryem MARZOUKI, soutenance 27/09/2002.
- GLÜCK Olivier : “Optimisations de la bibliothèque de communication MPI pour machines parallèles de type grappe de PC sur une primitive d'écriture distante”, direction de recherche Alain GREINER, soutenance 12/07/2002.
- STOICA Alexandru : “Étude d'une Architecture de Commutateur ATM Haut Débit avec Respect de la Qualité de Service”, direction de recherche Alain GREINER, soutenance 03/05/2002.
- ILPONSE Fabrice : “Analyse du Bruit dû aux couplages capacitifs dans les Circuits Intégrés numériques fortement Submicroniques”, direction de recherche Pirouz BAZARGAN SABET, soutenance 28/02/2002.
- ABOUSHADY Hassan : “Les convertisseurs Sigma-Delta en mode courant”, direction de recherche Marie-Minerve LOUËRAT, soutenance 07/01/2002.
- RUILOBA Rosario : “Analyse d’images en vue de l’indexation de vidéos”, direction de recherche Pascal FAUDEMAY, soutenance 10/12/2001.
- BAJOT Yann : “Étude et spécification d'un coeur de processeur de traitement du signal configurable pour systèmes embarqués spécialisés”, direction de recherche Habib MEHREZ, soutenance 07/11/2001.
- DUMONTEIX Yannick : “Optimisation des chemins de données arithmétiques par l'utilisation de plusieurs systèmes de numération”, direction de recherche Habib MEHREZ, soutenance 10/10/2001.
- HOMMAIS Denis : “Une méthode d'évaluation et de synthèse des communications dans les systèmes intégrés matériel-logiciel”, direction de recherche Frédéric PÉTROT, soutenance 13/09/2001.
- FENYÖ Alexandre : “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"”, direction de recherche Alain GREINER, soutenance 05/07/2001.
- DESSOUKY Mohamed : “Conception en vue de la réutilisation de Circuits Analogiques. Application : Modulateur Delta-Sigma à très Faible Tension”, direction de recherche Marie-Minerve LOUËRAT, soutenance 18/01/2001.
- TURIER Arnaud : “Étude, conception et caractérisation de mémoires CMOS , faible consommation, faible tension en technologies submicroniques”, direction de recherche A. Amara, soutenance 13/12/2000.
- ALVES BARBOSA DA SILVA Fabricio : “Modélisation et analyse d'une classe d'algorithmes d'ordonnancement pour machines parrallèles”, direction de recherche Isaac SCHERSON, soutenance 01/12/2000.
- BUKOVJAN Peter : “Recherche de compromis coût/qualité dans un processus de synthèse en vue de la testabilité”, direction de recherche Meryem MARZOUKI, soutenance 28/09/2000.
- KHOUAS Abdelhakim : “Simulation de Fautes et Optimisation des Tests de Production pour les Circuits Analogiques avec prise en compte des Tolérances”, direction de recherche Anne Derieux, soutenance 14/09/2000.
- DESBARBIEUX Jean-Lou : “Conception et réalisation d'un contrôleur réseau programmable pour machine parallèle de type "grappe de PC"”, direction de recherche Alain GREINER, soutenance 28/06/2000.
- GUERRIER Pierre : “Un Réseau d'interconnexion pour systèmes intégrés”, direction de recherche Alain GREINER, soutenance 10/05/2000.
- LESTER Anthony : “Abstraction Fonctionnelle des Circuits Numériques VLSI avec une méthode formelle basée sur une extraction de réseau de portes”, direction de recherche Pirouz BAZARGAN SABET, soutenance 21/12/1999.
- JACOMME Ludovic : “Analyse sémantique de descriptions VHDL synchrones en vue de la synthèse”, direction de recherche Alain GREINER, soutenance 29/10/1999.
- ABERBOUR Mourad : “Architecture d'un système hétérogène pour la reconnaissance de formes”, direction de recherche Habib MEHREZ, soutenance 29/09/1999.
- DUNOYER Julien : “Modèles et méthodes probabilistes pour l'évaluation de la consommation des circuits intégrés VLSI”, direction de recherche Pirouz BAZARGAN SABET, soutenance 09/07/1999.
- MAROUFI Walid : “Aide à la conception de systèmes testables”, direction de recherche Meryem MARZOUKI, soutenance 02/07/1999.
- GOEURY Alain : “Conception d'un routeur intégré possédant un tampon central et un mécanisme d'auto-configuration”, direction de recherche Alain GREINER, soutenance 24/11/1998.
- DIOURY Karim : “Analyse temporelle hiérarchique des circuits VLSI à très haute densité d'intégration”, direction de recherche Alain GREINER, soutenance 18/09/1998.
- REJOUAN El Housseine : “Outils d'aide à la synthèse d'architectures vlsi auto-testables - Algorithmes de génération de vecteurs de test déterministes et mixtes”, direction de recherche Habib MEHREZ, soutenance 17/07/1998.
- FLORENT Olivier : “Une méthode de test des circuits intégrés, basée sur un découpage structurel peu recouvrant”, direction de recherche Alain GREINER, soutenance 30/06/1998.
- BOUARAOUA Abdelhafid : “Mise en Oeuvre, l'Evaluation des Performances et la Vérification de la Validité de Topologies et de Schémas de Routage pour l'Aide à la Conception de Réseaux d'Interconnexion pour Architectures Parall”, direction de recherche Alain GREINER, soutenance 13/05/1998.
- GUIGNET Jean : “Abstraction Fonctionnelle des Composants VLSI”, direction de recherche Alain GREINER, soutenance 31/03/1998.
- ABDALLAH Nizar : “Méthode de simulation logico-temporelle de circuits numériques complexes prenant en compte le front des signaux et les collisions dans le cadre de la simulation mixte analogique-numérique”, direction de recherche Pirouz BAZARGAN SABET, soutenance 26/02/1998.
- REMY Pascal : “Outils de vérification pour circuits VLSI AsGa MESFET par des méthodes d'abstraction fonctionnelle”, direction de recherche Alain GREINER, soutenance 15/12/1997.
- VUONG Huu : “Une nouvelle méthode de simulation par évaluation directe desexpressions logiques représentées par des graphes :application à des circuits modélisés par un sous-ensembledu langage VHDL.”, direction de recherche Pirouz BAZARGAN SABET, soutenance 09/12/1997.
- WINCKEL Laurent : “Environnement logiciel d'un coprocesseur SIMD associatif et systolique microprogrammable”, direction de recherche Pascal FAUDEMAY, soutenance 28/11/1997.
- COUTEAUX Pascal : “Étude d'un circuit de sérialisation à 3 Gbits/s en technologie BiCMOS”, direction de recherche Alain GREINER, soutenance 03/07/1997.
- REIBALDI Vincent : “Conception et réalisation d'un routeur paquets à hautes performances”, direction de recherche Alain GREINER, soutenance 03/07/1997.
- HOUELLE Alain : “GenOptim : un environnement d'aide à la conception de générateurs de circuits portables optimisés en performance et en surface”, direction de recherche Habib MEHREZ, soutenance 20/06/1997.
- VAUCHER Nicolas : “Méthodogie de conception d'architectures VLSI génériques appliquée au traitement numérique”, direction de recherche Habib MEHREZ, soutenance 20/06/1997.
- PIERRE DUPLESSIX Anne : “Étude et réalisation d'une liaison série à 1 GBaud indépendante du codage des données”, direction de recherche Alain GREINER, soutenance 04/04/1997.
- QUENNESSON Cyril : “Évaluation de circuits VLSI autocontrôlés prenant en compte un modèle de fautes multiples”, direction de recherche Habib MEHREZ, soutenance 07/03/1997.
- BRUNEL Jean-Yves : “Synthèse d'architecture de circuits intégrés : Etude de l'ordonnancement au niveau transfert de registres pour prendre en compte les contraintes temporelles imposées par les bibliothèques d'opérateurs”, direction de recherche Alain GREINER, soutenance 06/12/1996.
- HERVIEU Marc : “Étude architecturale d'un système de reconnaissance en ligne de caractères manuscrits”, direction de recherche Alain GREINER, soutenance 03/12/1996.
- CRUANES Thierry : “Mécanismes de Synchronisation dans un Gérant d'Objets Distribué basé sur des Charpentes”, direction de recherche Pascal FAUDEMAY, soutenance 02/11/1996.
- PRADO Eudes : “Algorithmes de synthèse de circuits programmables basés sur des graphes de décision binaire”, direction de recherche Alain GREINER, soutenance 05/07/1996.
- DICTUS Nathalie : “Synthèse logique des circuits VLSI : Utilisation d'un compilateur de cellules complexes et optimisation des performances temporelles”, direction de recherche Alain GREINER, soutenance 27/06/1996.
- DESCAMPS Gilles-Eric : “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”, direction de recherche Alain GREINER, soutenance 13/06/1996.
- ROYANNEZ Philippe : “Réalisation de bibliothèques et d'outils logiciels pour la conception de circuits intégrés sur arséniure de gallium”, direction de recherche A. Amara, soutenance 13/06/1996.
- MAJED Halila : “ISL : Etude et réalisation d'un réseau de communication à hautes performances pour machines multiprocesseurs à mémoire distribuée”, direction de recherche Alain GREINER, soutenance 21/05/1996.
- POTTER Frédéric : “Conception et réalisation d'un réseau d'interconnexion à faible latence et haut débit pour machines multiprocesseurs”, direction de recherche Alain GREINER, soutenance 11/04/1996.