ASIM - Thesis

Current teams :	ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
Former teams :	ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper
Former research topics :	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”, supervision Jean-Pierre BALPE, defence 06/26/2003.
CHOTIN Roselyne : “Architectures matérielles pour l'arithmétique stochastique discrète”, supervision Habib MEHREZ, defence 06/06/2003.
CHOTIN-AVOT Roselyne : “Architectures matérielles pour l'arithmétique stochastique discrète”, supervision Habib MEHREZ, defence 06/06/2003.
AVOT Grégoire : “Analyse temporelle des circuits intégrés digitaux CMOS, pour les technologies profondément submicroniques”, supervision Marie-Minerve LOUËRAT, defence 02/25/2003.
BENABDENBI Mounir : “Conception en vue du test de systèmes intégrés sur silicium (SoC)”, supervision Meryem MARZOUKI, defence 09/27/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”, supervision Alain GREINER, defence 07/12/2002.
STOICA Alexandru : “Étude d'une Architecture de Commutateur ATM Haut Débit avec Respect de la Qualité de Service”, supervision Alain GREINER, defence 05/03/2002.
ILPONSE Fabrice : “Analyse du Bruit dû aux couplages capacitifs dans les Circuits Intégrés numériques fortement Submicroniques”, supervision Pirouz BAZARGAN SABET, defence 02/28/2002.
ABOUSHADY Hassan : “Les convertisseurs Sigma-Delta en mode courant”, supervision Marie-Minerve LOUËRAT, defence 01/07/2002.
RUILOBA Rosario : “Analyse d’images en vue de l’indexation de vidéos”, supervision Pascal FAUDEMAY, defence 12/10/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”, supervision Habib MEHREZ, defence 11/07/2001.
DUMONTEIX Yannick : “Optimisation des chemins de données arithmétiques par l'utilisation de plusieurs systèmes de numération”, supervision Habib MEHREZ, defence 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”, supervision Frédéric PÉTROT, defence 09/13/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"”, supervision Alain GREINER, defence 07/05/2001.
DESSOUKY Mohamed : “Conception en vue de la réutilisation de Circuits Analogiques. Application : Modulateur Delta-Sigma à très Faible Tension”, supervision Marie-Minerve LOUËRAT, defence 01/18/2001.
TURIER Arnaud : “Étude, conception et caractérisation de mémoires CMOS , faible consommation, faible tension en technologies submicroniques”, supervision A. Amara, defence 12/13/2000.
ALVES BARBOSA DA SILVA Fabricio : “Modélisation et analyse d'une classe d'algorithmes d'ordonnancement pour machines parrallèles”, supervision Isaac SCHERSON, defence 12/01/2000.
BUKOVJAN Peter : “Recherche de compromis coût/qualité dans un processus de synthèse en vue de la testabilité”, supervision Meryem MARZOUKI, defence 09/28/2000.
KHOUAS Abdelhakim : “Simulation de Fautes et Optimisation des Tests de Production pour les Circuits Analogiques avec prise en compte des Tolérances”, supervision Anne Derieux, defence 09/14/2000.
DESBARBIEUX Jean-Lou : “Conception et réalisation d'un contrôleur réseau programmable pour machine parallèle de type "grappe de PC"”, supervision Alain GREINER, defence 06/28/2000.
GUERRIER Pierre : “Un Réseau d'interconnexion pour systèmes intégrés”, supervision Alain GREINER, defence 05/10/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”, supervision Pirouz BAZARGAN SABET, defence 12/21/1999.
JACOMME Ludovic : “Analyse sémantique de descriptions VHDL synchrones en vue de la synthèse”, supervision Alain GREINER, defence 10/29/1999.
ABERBOUR Mourad : “Architecture d'un système hétérogène pour la reconnaissance de formes”, supervision Habib MEHREZ, defence 09/29/1999.
DUNOYER Julien : “Modèles et méthodes probabilistes pour l'évaluation de la consommation des circuits intégrés VLSI”, supervision Pirouz BAZARGAN SABET, defence 07/09/1999.
MAROUFI Walid : “Aide à la conception de systèmes testables”, supervision Meryem MARZOUKI, defence 07/02/1999.
GOEURY Alain : “Conception d'un routeur intégré possédant un tampon central et un mécanisme d'auto-configuration”, supervision Alain GREINER, defence 11/24/1998.
DIOURY Karim : “Analyse temporelle hiérarchique des circuits VLSI à très haute densité d'intégration”, supervision Alain GREINER, defence 09/18/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”, supervision Habib MEHREZ, defence 07/17/1998.
FLORENT Olivier : “Une méthode de test des circuits intégrés, basée sur un découpage structurel peu recouvrant”, supervision Alain GREINER, defence 06/30/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”, supervision Alain GREINER, defence 05/13/1998.
GUIGNET Jean : “Abstraction Fonctionnelle des Composants VLSI”, supervision Alain GREINER, defence 03/31/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”, supervision Pirouz BAZARGAN SABET, defence 02/26/1998.
REMY Pascal : “Outils de vérification pour circuits VLSI AsGa MESFET par des méthodes d'abstraction fonctionnelle”, supervision Alain GREINER, defence 12/15/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.”, supervision Pirouz BAZARGAN SABET, defence 12/09/1997.
WINCKEL Laurent : “Environnement logiciel d'un coprocesseur SIMD associatif et systolique microprogrammable”, supervision Pascal FAUDEMAY, defence 11/28/1997.
COUTEAUX Pascal : “Étude d'un circuit de sérialisation à 3 Gbits/s en technologie BiCMOS”, supervision Alain GREINER, defence 07/03/1997.
REIBALDI Vincent : “Conception et réalisation d'un routeur paquets à hautes performances”, supervision Alain GREINER, defence 07/03/1997.
HOUELLE Alain : “GenOptim : un environnement d'aide à la conception de générateurs de circuits portables optimisés en performance et en surface”, supervision Habib MEHREZ, defence 06/20/1997.
VAUCHER Nicolas : “Méthodogie de conception d'architectures VLSI génériques appliquée au traitement numérique”, supervision Habib MEHREZ, defence 06/20/1997.
PIERRE DUPLESSIX Anne : “Étude et réalisation d'une liaison série à 1 GBaud indépendante du codage des données”, supervision Alain GREINER, defence 04/04/1997.
QUENNESSON Cyril : “Évaluation de circuits VLSI autocontrôlés prenant en compte un modèle de fautes multiples”, supervision Habib MEHREZ, defence 03/07/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”, supervision Alain GREINER, defence 12/06/1996.
HERVIEU Marc : “Étude architecturale d'un système de reconnaissance en ligne de caractères manuscrits”, supervision Alain GREINER, defence 12/03/1996.
CRUANES Thierry : “Synchronization mechanisms in an Object Manager based on Frameworks”, supervision Pascal FAUDEMAY, defence 11/02/1996.
PRADO Eudes : “Algorithmes de synthèse de circuits programmables basés sur des graphes de décision binaire”, supervision Alain GREINER, defence 07/05/1996.
DICTUS Nathalie : “Synthèse logique des circuits VLSI : Utilisation d'un compilateur de cellules complexes et optimisation des performances temporelles”, supervision Alain GREINER, defence 06/27/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”, supervision Alain GREINER, defence 06/13/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”, supervision A. Amara, defence 06/13/1996.
MAJED Halila : “ISL : Etude et réalisation d'un réseau de communication à hautes performances pour machines multiprocesseurs à mémoire distribuée”, supervision Alain GREINER, defence 05/21/1996.
POTTER Frédéric : “Conception et réalisation d'un réseau d'interconnexion à faible latence et haut débit pour machines multiprocesseurs”, supervision Alain GREINER, defence 04/11/1996.