ALSOC - Tesis

equipos actuales :	ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
Antiguos equipos :	ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper
Antiguos temas de investigación :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

MILLET Maxime : “Optimization and Time/Quality Trade-Off of an Optical Flow Algorithm on Low-Power SoC for Real-Time Meteor Detection Onboard a Nanosatellite” director de investigación Lionel LACASSAGNE, defensa 04/12/2024
MAURICE Nathan : “Design of efficient irregular algorithms on embedded and heterogeneous parallel platforms” director de investigación Lionel LACASSAGNE, defensa 29/11/2024
OUDRHIRI Ali : “Performance of a Neural Network Accelerator Architecture and its Optimization Using a Pipeline-Based Approach” director de investigación Alix MUNIER, defensa 20/12/2023
ROMERA Thomas : “Algorithm-Architecture Adaptation for Optical Flow on Embedded GPUs” director de investigación Lionel LACASSAGNE, defensa 13/10/2023
DUCOUSSO Rieul : “Securing access to and from devices in a RISC-V multicore architecture used for virtualization” director de investigación Emmanuelle ENCRENAZ, defensa 15/03/2023
TANG Ning : “Fixed parameter tractibility of UET-UCT scheduling problems” director de investigación Alix MUNIER, defensa 28/11/2022
HENNEQUIN Arthur : “Performance optimisation for the LHCb experiment” director de investigación Lionel LACASSAGNE, defensa 31/01/2022
BEN EL OUAHMA Ines : “Analyse de robustesse et sécurisation de codes assembleur contre les attaques physiques” director de investigación Emmanuelle ENCRENAZ, defensa 07/04/2021
VU Son Tuan : “Préservation des propriétés dans un flot de compilation optimisant” director de investigación Karine HEYDEMANN, defensa 02/04/2021
PETRETO Andrea : “Débruitage Vidéo Temps Réel pour Systèmes Embarqués” director de investigación Lionel LACASSAGNE, defensa 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” director de investigación Karine HEYDEMANN, Emmanuelle ENCRENAZ, defensa 26/06/2020
AIT ABA Massinissa : “Optimisation de l’énergie et de la performance d’applications sur des micro-servers hétérogènes” director de investigación Alix MUNIER, defensa 04/06/2020
LEMAITRE Florian : “Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb” director de investigación Lionel LACASSAGNE, defensa 13/02/2019
CARRASCAL MANZANARES Carlos : “Parallélisation d’un code éléments finis spectraux. Application au contrôle non destructif par ultrasons” director de investigación Lionel LACASSAGNE, defensa 08/02/2019
DEVIGNE Clément : “Execution sécurisée d'applications sur plate-forme many-cores” director de investigación Alain GREINER, defensa 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” director de investigación Alix MUNIER, defensa 02/03/2017
KARAOUI Mohamed : “Système de fichiers scalable pour architectures manycores à faible empreinte énergétique” director de investigación Alain GREINER, defensa 28/06/2016
CARLIER Aurélien : “Optimal design of a one-way carsharing system including electric vehicles” director de investigación Alix MUNIER, defensa 27/06/2016
LIU Hao : “Protocoles scalables de cohérence des caches pour processeurs manycore à espace d'adressage partagé visant la basse consommation” director de investigación Alain GREINER, defensa 27/01/2016
FUGUET TORTOLERO Cesar : “Introduction of fault-tolerance mechanisms for permanent failures in coherent shared-memory many-core architectures” director de investigación Alain GREINER, defensa 25/11/2015
DREBES Andi : “Dynamic optimization of data-flow task-parallel applications for large-scale NUMA systems” director de investigación Nathalie DRACH-TEMAM, defensa 25/06/2015
MORO Nicolas : “Security of assembly programs against fault attacks on embedded processors” director de investigación Emmanuelle ENCRENAZ, defensa 13/11/2014
HUJSA Thomas : “Contribution to the study of weighted Petri nets” director de investigación Alix MUNIER, defensa 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” director de investigación Alain GREINER, defensa 16/10/2014
ALMALESS Ghassan : “Operating System Design and Implementation for Single-Chip cc-NUMA Many-Core” director de investigación Alain GREINER, defensa 27/02/2014
BODIN Bruno : “Analyse d’Applications Flot de Données pour la Compilation Multiprocesseur” director de investigación Alix MUNIER, defensa 20/12/2013
GIOJA Hermann : “Transaction level modeling with distributed time and released synchronization techniques in order to parallely simulate many-core architectures” director de investigación Alain GREINER, defensa 16/12/2013
SYED-ALWI Syed-Hussein : “Vérification compositionnelle pour la conception sure de systèmes embarqués” director de investigación Emmanuelle ENCRENAZ, defensa 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” director de investigación Alain GREINER, defensa 25/06/2013
GUTHMULLER Eric : “Adaptive cache architecture exploiting 3D stacking technologies in a manycore context” director de investigación Alain GREINER, defensa 11/04/2013
GAMOUDI Oussama : “Optimisation adaptative appliquée au préchargement de données” director de investigación Nathalie DRACH-TEMAM, defensa 03/07/2012
BENAZOUZ Mohamed : “Dimensionnement des Mémoires dans les Applications de Traitement de Flux de Données” director de investigación Alix MUNIER, defensa 13/04/2012
PLOUVIEZ Geoffrey : “Etude, spécification, vérification formelle de mécanismes de virtualisation sécurisés pour architecture many-cores” director de investigación Alain GREINER, defensa 19/01/2012
MAIA PESSOA Isaac : “no title” director de investigación Alain GREINER, defensa 25/10/2011
OZAKTAS Haluk : “Compression de code et optimisation multicritère des systèmes embarqués dans un contexte temps réel strict” director de investigación Nathalie DRACH-TEMAM, defensa 29/09/2011
NGUYEN Minh Huu : “Sécurisation de processeurs vis-à-vis des attaques par faute et par analyse de la consommation” director de investigación Nathalie DRACH-TEMAM, defensa 21/09/2011
GAO Yang : “Generic cache controller for a massively parallel manycore architecture with coherent shared memory” director de investigación Alain GREINER, defensa 28/06/2011
ZHANG Zhen : “On the field Detection, De-activation and Reconfiguration (ODDR) mechanism for Permanent Fault-Tolerance of Network-on-Chip” director de investigación Alain GREINER, defensa 27/06/2011
PORQUET Joël : “Architecture de sécurité pour systèmes multiprocesseurs intégrés sur puce” director de investigación Alain GREINER, defensa 13/12/2010
BECOULET Alexandre : “Conception d'un système d'exploitation supportant nativement les” director de investigación Alain GREINER, defensa 28/09/2010
ROSIÈRE Mathieu : “MORPHEO : Processeur ouvert, haute performance, paramétrable et pérenne pour plate-forme de confiance” director de investigación Nathalie DRACH-TEMAM, defensa 28/06/2010
TAKTAK Sami : “Détection des interblocages dans les réseaux sur puce” director de investigación Emmanuelle ENCRENAZ, defensa 30/01/2009
VIAUD Emmanuel : “Modélisation SystemC d'architectures multi-processeurs intégrées sur puce” director de investigación Alain GREINER, defensa 27/01/2009
MIRO PANADES Ivan : “Conception et implantation d'un micro-réseau sur puce avec garantie de service” director de investigación Alain GREINER, defensa 20/05/2008
SHEIBANYRAD Hamed : “Implémentation Asynchrone d'un Réseau-sur-Puce Distribué” director de investigación Alain GREINER, defensa 19/03/2008
COVELIERS Alexandre : “Sensibilité aux jeux de données de la compilation itérative” director de investigación Nathalie DRACH-TEMAM, defensa 24/09/2007
TUNA Matthieu : “Auto-test logiciel des systèmes intégrés sur Puce (SoC)” director de investigación Mounir BENABDENBI, defensa 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” director de investigación Emmanuelle ENCRENAZ, defensa 14/05/2007
FAURE Etienne : “Communications matériel/logiciel dans les ystèmes sur puce multi-processeurs orientés télécommunications” director de investigación Alain GREINER, defensa 27/04/2007
BEAUDENON Vincent : “Diarammes de décision de données pour la vérification de systemes matériels” director de investigación Emmanuelle ENCRENAZ, defensa 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” director de investigación Alain GREINER, defensa 05/12/2006
GOMEZ Pascal : “Outils pour le déploiement d'applications avec des contraintes de temps réel sur des multiprocesseurs sur puces” director de investigación Frédéric PÉTROT, defensa 02/06/2006
ANDRIAHANTENAINA Adrijean : “Implémentation matérielle d'un micro-réseau SPIN à 32 ports” director de investigación Alain GREINER, defensa 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” director de investigación Alain GREINER, defensa 09/12/2005
DONNET Francois : “Synthèse de co-processeurs pour systèmes intégrés” director de investigación Ivan AUGE, defensa 20/01/2004