ASIM
MAIL [PRINT]
search for  

  Biography

  Publications

  Students

  Links
     IEEE
     UPMC
     LIP6
     UFR Info
(This page is best viewed with CSS style sheets enabled)
 » Alain Greiner  » Students

Supervised Thesis

  • Adriahantenaina Adrijean
    "Implementation matérielle d'un micro-réseau SPIN à 32 ports" (31/01/2006)

  • Hervé Charlery
    "Intégration d'un micro-réseau à commutation de paquets dans un système multi-processeurs à mémoire partagée intégré sur puce" (09/12/2005)

  • Olivier Glück
    "Optimisations de la bibliothèque de communication MPI pour machines parallèles de type grappes de PCs sur une primitive d'écriture distante" (12/07/2002)

  • Alexandru Stoica
    "Etude d'une architecture de commutateur ATM haut débit avec respect de la qualité de service" (03/05/2002)

  • Alexandre Fenyo
    "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" (05/07/2001)

  • Jean-Lou Desbarbieux
    "Conception et réalisation d'un contrôleur réseau programmable pour machine parallèle de type "grappe de PC" (28/06/2000)

  • Pierre Guerrier
    "Un réseau d'interconnexion pour systèmes intégrés" (10/05/2000)

  • Antony Lester
    "Abstraction fonctionnelle des circuits numériques VLSI avec une méthode formelle basée sur une extraction d'un réseau de portes" (21/12/1999)

  • Ludovic Jacomme
    "Analyse sémantique de descriptions VHDL synchrones en vue de la synthèse " (29/10/1999)

  • Alain Goeury
    Conception d'un routeur intégré possédant un tampon central et un mécanisme d'auto-configuration" (24/11/98)

  • Kkarim Dioury
    "Analyse Temporelle hiérarchique des circuits VLSI à très haute densité d'intégration" (18/09/98)

  • Olivier Florent
    "Une méthode de test des circuits intégrés basée sur un découpage structurel peu recouvrant" (18/09/98)

  • Abdelhafid Bouaraoua
    "Evaluation des performances et 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èles" (13/05/98)

  • Jean-Bruce Guignet
    "Abstraction fonctionnelle des composants VLSI" (31/03/98)

  • Pascal Remy
    "Outils de vérification pour circuits VLSI ASGA MESFET par des méthodes d'abstraction fonctionnelle" (15/12/1997)

  • Laurent Winckel
    "Environnement logiciel d'un coprocesseur SIMD associatif et systolique microprogrammable" (28/11/1997)

  • Pascal Couteaux
    "Etude d'un circuit de sérialisation à 3 Gits/s en technologie BICMOS" (03/07/1997)

  • Vincent Reibaldi
    "Conception et réalisation d'un routeur de paquets à hautes performances(03/07/1997)

  • Anne Pierre Duplessis
    "Etude et réalisation d'une liaison série à 1 Gbaud indépendante du codage des données" (04/04/1997)

  • Jean-Yves Brunel
    "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 disponibles (06/12/1996)

  • Marc Hervieu
    "Etude architecturale d'un système de reconnaissance en ligne de caractères manuscrits" (03/12/1996)

  • Eudes Prado Lopez
    "Algorithmes de synthèse de circuits programmables basés sur des graphes de décision binaires" (05/07/1996)

  • Nathalie Dictus
    "Synthèse logique des circuits VLSI : Utilisation d'un compilateur de cellules complexes, et optimisation des performances temporelles" (27/06/1996)

  • Philippe Royannez
    Réalisation de bibliothèques et d'outils logiciels pour la conception de circuits intégrés sur arrséniure de galium" (13/06/1996)

  • Gilles-Eric Descamps
    "Méthodes de distribution hiérarchique d'outils de vérification de circuits intégrés VLSI sur un réseau de station de travail : Application à un vérificateur de règles de dessin" (13/06/96)

  • Majed Halila
    "ISL : Etude et réalisation d'un réseau de communication à hautes performances pour machines multi-processeurs à mémoire distribuée" (21/05/96)

  • Frédéric Potter
    "Conception et réalisation d'un réseau d'interconnexion à faible latence et haut débit pour machines multiprocesseurs" (11/04/1996)

  • Denis Archambaud
    "Conception et réalisation d'un coprocesseur SIMD associatif et systolique microprogrammable" (21/12/95)

  • Luis Lucas
    Conception et réalisation d'un microprocesseur VLIW: Méthodologie de conception et implantation VLSI" (01/12/1995)

  • Franck Wajsbürt
    Conception et réalisation d'un microprocesseur VLIW: ARchitecture interne" (01/12/1995)

  • Ivan Saraiva Silva
    "Evaluation des performances au niveau système d'une architecture SIMD appliquée à la comparaison de séquences génétiques" (07/07/1995)

  • Vincent Pouilley
    "Une boîte à outils logicielle pour le placement et le routage automatique de schémas électriques" (13/12/1994)

  • Marc Laurentin
    "Abstraction et vérification fonctionnelle pour VLSI" (13/12/1994)

  • Michel Combes
    "Générateur paramètrable de multiplieur de fréquence utilisant des techniques numériques" (12/12/1994)

  • Frédéric Pétrot
    "Outils d'aide au développement de bibliothèques VLSI portables" (08/07/94)

  • Lotfi Benammar
    "Compilation de chemins de données optimisés pour circuits VLSI" (31/05/1994)

  • Peter Bieliczki
    "Implantation VLSI d'un algorithme de code correcteur d'erreur et validation formelle de la réalisation" (16/12/1993)

  • Moktar Hirech
    Spécification et développement d'un vérificateur des règles de testabilité des circuits VLSI" (15/12/1993)

  • Luc Burgun
    "Synthèse logique de circuits intégrés VLSI : Utilisation des graphes de décision binires dans la phase d'optimisation comportementale" (10/12/1993)

  • Pascale Allègre
    "Synthèse logique de circuits intégrés VLSI : Utilisation d'un générateur de système expert pour la phase de projection structurelle" (10/12/1993)

  • Gregory Chevallier
    o "Applications du compactage dans une méthodologie de de conception optimisée de circuits VLSI" (25/05/1993)

  • Amjad Hajjar
    "Modélisation des temps de propagation et analyse temporelle statique des circuits intégrés CMOS" (09/07/1992

  • James Medou-Zengue
    "Vérification automatique des règles de dessin des circuits VLSI : Règles Formelless et approche hiérarchique" (21/10/1991)

  • Zouaoui Miloua
    "Développement de bibliothèques ECL multi-niveaux pour l'enseignement" (17/12/1990)

  • Pirouz Bazargan-Sabet
    "Méthodologie de conception de microprocesseurs VLSI pour unité centrale de grand système : Conception des parties de contrôle" (25/10/1990)

  • Laurent Ducousso
    "Méthodologie de conception de microprocesseurs VLSI pour unité centrale de grand système : Conception Physique" (25/10/1990)

  • Gilles Leveque
    "Conception et routage de blocs fonctionnels VLSI en implantation stahdard cells" (29/06/1990)

  • Chiheb Messaoud
    "Analyse de la performance de systèmes électroniques complexes composés de circuits VLSI ASIC utilisant des latchs level-sensitive" (28/05/1990)

    • Send the link - Print  

    Page maintained by Hassan Aboushady
    Last modified on 08 November 2005