Подразделения : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Бывшие команды : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Архив исследовательских проектов : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- OUDRHIRI Ali : “Performance of a Neural Network Accelerator Architecture and its Optimization Using a Pipeline-Based Approach”, научны(е)й руководител(и)ь Alix MUNIER, защита диссертаций 20.12.2023.
- ROMERA Thomas : “Algorithm-Architecture Adaptation for Optical Flow on Embedded GPUs”, научны(е)й руководител(и)ь Lionel LACASSAGNE, защита диссертаций 13.10.2023.
- DUCOUSSO Rieul : “Securing access to and from devices in a RISC-V multicore architecture used for virtualization”, научны(е)й руководител(и)ь Emmanuelle ENCRENAZ, защита диссертаций 15.03.2023.
- TANG Ning : “Fixed parameter tractibility of UET-UCT scheduling problems”, научны(е)й руководител(и)ь Alix MUNIER, защита диссертаций 28.11.2022.
- HENNEQUIN Arthur : “Performance optimisation for the LHCb experiment”, научны(е)й руководител(и)ь Lionel LACASSAGNE, защита диссертаций 31.01.2022.
- BEN EL OUAHMA Ines : “Analyse de robustesse et sécurisation de codes assembleur contre les attaques physiques”, научны(е)й руководител(и)ь Emmanuelle ENCRENAZ, защита диссертаций 07.04.2021.
- VU Son Tuan : “Préservation des propriétés dans un flot de compilation optimisant”, научны(е)й руководител(и)ь Karine HEYDEMANN, защита диссертаций 02.04.2021.
- PETRETO Andrea : “Débruitage Vidéo Temps Réel pour Systèmes Embarqués”, научны(е)й руководител(и)ь Lionel LACASSAGNE, защита диссертаций 29.06.2020.
- BREJON Jean-Baptiste : “Quantification de la sécurité des applications en présence d'attaques physiques et détection de chemins d'attaques”, научны(е)й руководител(и)ь Karine HEYDEMANN, Emmanuelle ENCRENAZ, защита диссертаций 26.06.2020.
- AIT ABA Massinissa : “Optimisation de l’énergie et de la performance d’applications sur des micro-servers hétérogènes”, научны(е)й руководител(и)ь Alix MUNIER, защита диссертаций 04.06.2020.
- LEMAITRE Florian : “Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb”, научны(е)й руководител(и)ь Lionel LACASSAGNE, защита диссертаций 13.02.2019.
- CARRASCAL MANZANARES Carlos : “Parallélisation d’un code éléments finis spectraux. Application au contrôle non destructif par ultrasons”, научны(е)й руководител(и)ь Lionel LACASSAGNE, защита диссертаций 08.02.2019.
- DEVIGNE Clément : “Execution sécurisée d'applications sur plate-forme many-cores”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 06.07.2017.
- LESPARRE Youen : “Évaluation de l'affectation des tâches sur une architecture à mémoire distribuée pour des modèles flot de données”, научны(е)й руководител(и)ь Alix MUNIER, защита диссертаций 02.03.2017.
- KARAOUI Mohamed : “Système de fichiers scalable pour architectures manycores à faible empreinte énergétique”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 28.06.2016.
- CARLIER Aurélien : “Optimal design of a one-way carsharing system including electric vehicles”, научны(е)й руководител(и)ь Alix MUNIER, защита диссертаций 27.06.2016.
- LIU Hao : “Protocoles scalables de cohérence des caches pour processeurs manycore à espace d'adressage partagé visant la basse consommation”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 27.01.2016.
- FUGUET TORTOLERO Cesar : “Introduction of fault-tolerance mechanisms for permanent failures in coherent shared-memory many-core architectures”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 25.11.2015.
- DREBES Andi : “Dynamic optimization of data-flow task-parallel applications for large-scale NUMA systems”, научны(е)й руководител(и)ь Nathalie DRACH-TEMAM, защита диссертаций 25.06.2015.
- MORO Nicolas : “Security of assembly programs against fault attacks on embedded processors”, научны(е)й руководител(и)ь Emmanuelle ENCRENAZ, защита диссертаций 13.11.2014.
- HUJSA Thomas : “Contribution to the study of weighted Petri nets”, научны(е)й руководител(и)ь Alix MUNIER, защита диссертаций 29.10.2014.
- ZINE EL ABIDINE Khouloud : “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, защита диссертаций 16.10.2014.
- ALMALESS Ghassan : “Operating System Design and Implementation for Single-Chip cc-NUMA Many-Core”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 27.02.2014.
- BODIN Bruno : “Analyse d’Applications Flot de Données pour la Compilation Multiprocesseur”, научны(е)й руководител(и)ь Alix MUNIER, защита диссертаций 20.12.2013.
- GIOJA Hermann : “Transaction level modeling with distributed time and released synchronization techniques in order to parallely simulate many-core architectures”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 16.12.2013.
- SYED-ALWI Syed-Hussein : “Vérification compositionnelle pour la conception sure de systèmes embarqués”, научны(е)й руководител(и)ь Emmanuelle ENCRENAZ, защита диссертаций 11.07.2013.
- VIEIRA DE MELLO Aline : “TLM-DT: a Modeling Strategy based on Distributed Time for Parallel Simulation of Virtual MP2SoC Platforms on SMP Workstations”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 25.06.2013.
- GUTHMULLER Eric : “Adaptive cache architecture exploiting 3D stacking technologies in a manycore context”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 11.04.2013.
- GAMOUDI Oussama : “Optimisation adaptative appliquée au préchargement de données”, научны(е)й руководител(и)ь Nathalie DRACH-TEMAM, защита диссертаций 03.07.2012.
- BENAZOUZ Mohamed : “Dimensionnement des Mémoires dans les Applications de Traitement de Flux de Données”, научны(е)й руководител(и)ь Alix MUNIER, защита диссертаций 13.04.2012.
- PLOUVIEZ Geoffrey : “Etude, spécification, vérification formelle de mécanismes de virtualisation sécurisés pour architecture many-cores”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 19.01.2012.
- MAIA PESSOA Isaac : “no title”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 25.10.2011.
- OZAKTAS Haluk : “Compression de code et optimisation multicritère des systèmes embarqués dans un contexte temps réel strict”, научны(е)й руководител(и)ь Nathalie DRACH-TEMAM, защита диссертаций 29.09.2011.
- NGUYEN Minh Huu : “Sécurisation de processeurs vis-à-vis des attaques par faute et par analyse de la consommation”, научны(е)й руководител(и)ь Nathalie DRACH-TEMAM, защита диссертаций 21.09.2011.
- GAO Yang : “Generic cache controller for a massively parallel manycore architecture with coherent shared memory”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 28.06.2011.
- ZHANG Zhen : “On the field Detection, De-activation and Reconfiguration (ODDR) mechanism for Permanent Fault-Tolerance of Network-on-Chip”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 27.06.2011.
- PORQUET Joël : “Architecture de sécurité pour systèmes multiprocesseurs intégrés sur puce”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 13.12.2010.
- BECOULET Alexandre : “Conception d'un système d'exploitation supportant nativement les”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 28.09.2010.
- ROSIÈRE Mathieu : “MORPHEO : Processeur ouvert, haute performance, paramétrable et pérenne pour plate-forme de confiance”, научны(е)й руководител(и)ь Nathalie DRACH-TEMAM, защита диссертаций 28.06.2010.
- TAKTAK Sami : “Détection des interblocages dans les réseaux sur puce”, научны(е)й руководител(и)ь Emmanuelle ENCRENAZ, защита диссертаций 30.01.2009.
- VIAUD Emmanuel : “Modélisation SystemC d'architectures multi-processeurs intégrées sur puce”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 27.01.2009.
- MIRO PANADES Ivan : “Conception et implantation d'un micro-réseau sur puce avec garantie de service”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 20.05.2008.
- SHEIBANYRAD Hamed : “Implémentation Asynchrone d'un Réseau-sur-Puce Distribué”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 19.03.2008.
- COVELIERS Alexandre : “Sensibilité aux jeux de données de la compilation itérative”, научны(е)й руководител(и)ь Nathalie DRACH-TEMAM, защита диссертаций 24.09.2007.
- TUNA Matthieu : “Auto-test logiciel des systèmes intégrés sur Puce (SoC)”, научны(е)й руководител(и)ь Mounir BENABDENBI, защита диссертаций 01.06.2007.
- BRAUNSTEIN Cécile : “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, защита диссертаций 14.05.2007.
- FAURE Etienne : “Communications matériel/logiciel dans les ystèmes sur puce multi-processeurs orientés télécommunications”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 27.04.2007.
- BEAUDENON Vincent : “Diarammes de décision de données pour la vérification de systemes matériels”, научны(е)й руководител(и)ь Emmanuelle ENCRENAZ, защита диссертаций 13.12.2006.
- BUCHMANN Richard : “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, защита диссертаций 05.12.2006.
- GOMEZ Pascal : “Outils pour le déploiement d'applications avec des contraintes de temps réel sur des multiprocesseurs sur puces”, научны(е)й руководител(и)ь Frédéric PÉTROT, защита диссертаций 02.06.2006.
- ANDRIAHANTENAINA Adrijean : “Implémentation matérielle d'un micro-réseau SPIN à 32 ports”, научны(е)й руководител(и)ь Alain GREINER, защита диссертаций 31.01.2006.
- CHARLERY Hervé : “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, защита диссертаций 09.12.2005.
- DONNET Francois : “Synthèse de co-processeurs pour systèmes intégrés”, научны(е)й руководител(и)ь Ivan AUGE, защита диссертаций 20.01.2004.