LIP6 » 研究 » 刊物 » 博士论文
| 现有科研组 : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper |
| 以前科研组 : | SALSA SPIRAL AnimatLab MALIRE SPI REGAL |
| 以前研究课题 : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
“Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb”,
责任导师 Lionel LACASSAGNE,
答辩 2019-2-13. “Parallélisation d’un code éléments finis spectraux. Application au contrôle non destructif par ultrasons”,
责任导师 Lionel LACASSAGNE,
答辩 2019-2-8. “Execution sécurisée d'applications sur plate-forme many-cores”,
责任导师 Alain GREINER,
答辩 2017-7-6. “Évaluation de l'affectation des tâches sur une architecture à mémoire distribuée pour des modèles flot de données”,
责任导师 Alix MUNIER,
答辩 2017-3-2. “Système de fichiers scalable pour architectures manycores à faible empreinte énergétique”,
责任导师 Alain GREINER,
答辩 2016-6-28.
“Optimal design of a one-way carsharing system including electric vehicles”,
责任导师 Alix MUNIER,
答辩 2016-6-27. “Protocoles scalables de cohérence des caches pour processeurs manycore à espace d'adressage partagé visant la basse consommation”,
责任导师 Alain GREINER,
答辩 2016-1-27. “Introduction of fault-tolerance mechanisms for permanent failures in coherent shared-memory many-core architectures”,
责任导师 Alain GREINER,
答辩 2015-11-25. “Dynamic optimization of data-flow task-parallel applications for large-scale NUMA systems”,
责任导师 Nathalie DRACH-TEMAM,
答辩 2015-6-25. “Security of assembly programs against fault attacks on embedded processors”,
责任导师 Emmanuelle ENCRENAZ,
答辩 2014-11-13. “Contribution to the study of weighted Petri nets”,
责任导师 Alix MUNIER,
答辩 2014-10-29. “Méthode de prototypage virtuel permettant l’évaluation précoce de la consommation énergétique dans les systèmes intégrés sur puce”,
责任导师 Alain GREINER,
答辩 2014-10-16. “Operating System Design and Implementation for Single-Chip cc-NUMA Many-Core”,
责任导师 Alain GREINER,
答辩 2014-2-27. “Analyse d’Applications Flot de Données pour la Compilation Multiprocesseur”,
责任导师 Alix MUNIER,
答辩 2013-12-20. “Transaction level modeling with distributed time and released synchronization techniques in order to parallely simulate many-core architectures”,
责任导师 Alain GREINER,
答辩 2013-12-16. “Vérification compositionnelle pour la conception sure de systèmes embarqués”,
责任导师 Emmanuelle ENCRENAZ,
答辩 2013-7-11. “TLM-DT: a Modeling Strategy based on Distributed Time for Parallel Simulation of Virtual MP2SoC Platforms on SMP Workstations”,
责任导师 Alain GREINER,
答辩 2013-6-25. “Adaptive cache architecture exploiting 3D stacking technologies in a manycore context”,
责任导师 Alain GREINER,
答辩 2013-4-11. “Optimisation adaptative appliquée au préchargement de données”,
责任导师 Nathalie DRACH-TEMAM,
答辩 2012-7-3. “Dimensionnement des Mémoires dans les Applications de Traitement de Flux de Données”,
责任导师 Alix MUNIER,
答辩 2012-4-13. “Etude, spécification, vérification formelle de mécanismes de virtualisation sécurisés pour architecture many-cores”,
责任导师 Alain GREINER,
答辩 2012-1-19. “no title”,
责任导师 Alain GREINER,
答辩 2011-10-25. “Compression de code et optimisation multicritère des systèmes embarqués dans un contexte temps réel strict”,
责任导师 Nathalie DRACH-TEMAM,
答辩 2011-9-29. “Sécurisation de processeurs vis-à-vis des attaques par faute et par analyse de la consommation”,
责任导师 Nathalie DRACH-TEMAM,
答辩 2011-9-21. “Generic cache controller for a massively parallel manycore architecture with coherent shared memory”,
责任导师 Alain GREINER,
答辩 2011-6-28. “On the field Detection, De-activation and Reconfiguration (ODDR) mechanism for Permanent Fault-Tolerance of Network-on-Chip”,
责任导师 Alain GREINER,
答辩 2011-6-27. “Architecture de sécurité pour systèmes multiprocesseurs intégrés sur puce”,
责任导师 Alain GREINER,
答辩 2010-12-13. “Conception d'un système d'exploitation supportant nativement les”,
责任导师 Alain GREINER,
答辩 2010-9-28. “MORPHEO : Processeur ouvert, haute performance, paramétrable et pérenne pour plate-forme de confiance”,
责任导师 Nathalie DRACH-TEMAM,
答辩 2010-6-28. “Détection des interblocages dans les réseaux sur puce”,
责任导师 Emmanuelle ENCRENAZ,
答辩 2009-1-30. “Modélisation SystemC d'architectures multi-processeurs intégrées sur puce”,
责任导师 Alain GREINER,
答辩 2009-1-27. “Conception et implantation d'un micro-réseau sur puce avec garantie de service”,
责任导师 Alain GREINER,
答辩 2008-5-20. “Implémentation Asynchrone d'un Réseau-sur-Puce Distribué”,
责任导师 Alain GREINER,
答辩 2008-3-19. “Sensibilité aux jeux de données de la compilation itérative”,
责任导师 Nathalie DRACH-TEMAM,
答辩 2007-9-24. “Auto-test logiciel des systèmes intégrés sur Puce (SoC)”,
责任导师 Mounir BENABDENBI,
答辩 2007-6-1. “Conception Incrémentale, Vérification de Composants Matériels et Méthode d'Abstraction pour Vérification de Systèmes Intégrés sur Puce”,
责任导师 Emmanuelle ENCRENAZ,
答辩 2007-5-14. “Communications matériel/logiciel dans les ystèmes sur puce multi-processeurs orientés télécommunications”,
责任导师 Alain GREINER,
答辩 2007-4-27. “Diarammes de décision de données pour la vérification de systemes matériels”,
责任导师 Emmanuelle ENCRENAZ,
答辩 2006-12-13. “Accélaration de la simulation de systèmes sur puce par transformation de modèles au niveau tranfert entre registres en modèles précis au cycle”,
责任导师 Alain GREINER,
答辩 2006-12-5. “Outils pour le déploiement d'applications avec des contraintes de temps réel sur des multiprocesseurs sur puces”,
责任导师 Frédéric PÉTROT,
答辩 2006-6-2. “Implémentation matérielle d'un micro-réseau SPIN à 32 ports”,
责任导师 Alain GREINER,
答辩 2006-1-31. “Intégration d'un micro-réseau à commutation de paquets dans un système multiprocesseur à mémoire partagée intégré sur puce”,
责任导师 Alain GREINER,
答辩 2005-12-9. “Synthèse de co-processeurs pour systèmes intégrés”,
责任导师 Ivan AUGE,
答辩 2004-1-20.