Show Menu
Hide Menu
巴黎六大计算机科学实验室
主任寄语
组织
巴黎六大计算机科学实验室-布局一览
主管
客务服务
IT Service
科学委员会
管理委员会
板
Teaching
交通路线
研究
Axes & Teams
刊物
项目
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
年报
估价
Our skills
Works with us
Software
专利
新兴公司
工作
职员电话号码
座谈会
🔒
📫
🇨🇳
🇫🇷
🇬🇧
🇨🇳
-
Computer Science Laboratory
研究
刊物
Thesis
现有科研组 :
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
以前研究课题 :
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
” 责任导师 Lionel LACASSAGNE, 答辩 2024-12-4
MAURICE Nathan
:
“
Design of efficient irregular algorithms on embedded and heterogeneous parallel platforms
” 责任导师 Lionel LACASSAGNE, 答辩 2024-11-29
OUDRHIRI Ali
:
“
Performance of a Neural Network Accelerator Architecture and its Optimization Using a Pipeline-Based Approach
” 责任导师 Alix MUNIER, 答辩 2023-12-20
ROMERA Thomas
:
“
Algorithm-Architecture Adaptation for Optical Flow on Embedded GPUs
” 责任导师 Lionel LACASSAGNE, 答辩 2023-10-13
DUCOUSSO Rieul
:
“
Securing access to and from devices in a RISC-V multicore architecture used for virtualization
” 责任导师 Emmanuelle ENCRENAZ, 答辩 2023-3-15
TANG Ning
:
“
Fixed parameter tractibility of UET-UCT scheduling problems
” 责任导师 Alix MUNIER, 答辩 2022-11-28
HENNEQUIN Arthur
:
“
Performance optimisation for the LHCb experiment
” 责任导师 Lionel LACASSAGNE, 答辩 2022-1-31
BEN EL OUAHMA Ines
:
“
Analyse de robustesse et sécurisation de codes assembleur contre les attaques physiques
” 责任导师 Emmanuelle ENCRENAZ, 答辩 2021-4-7
VU Son Tuan
:
“
Préservation des propriétés dans un flot de compilation optimisant
” 责任导师 Karine HEYDEMANN, 答辩 2021-4-2
PETRETO Andrea
:
“
Débruitage Vidéo Temps Réel pour Systèmes Embarqués
” 责任导师 Lionel LACASSAGNE, 答辩 2020-6-29
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, 答辩 2020-6-26
AIT ABA Massinissa
:
“
Optimisation de l’énergie et de la performance d’applications sur des micro-servers hétérogènes
” 责任导师 Alix MUNIER, 答辩 2020-6-4
LEMAITRE Florian
:
“
Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb
” 责任导师 Lionel LACASSAGNE, 答辩 2019-2-13
CARRASCAL MANZANARES Carlos
:
“
Parallélisation d’un code éléments finis spectraux. Application au contrôle non destructif par ultrasons
” 责任导师 Lionel LACASSAGNE, 答辩 2019-2-8
DEVIGNE Clément
:
“
Execution sécurisée d'applications sur plate-forme many-cores
” 责任导师 Alain GREINER, 答辩 2017-7-6
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, 答辩 2017-3-2
KARAOUI Mohamed
:
“
Système de fichiers scalable pour architectures manycores à faible empreinte énergétique
” 责任导师 Alain GREINER, 答辩 2016-6-28
CARLIER Aurélien
:
“
Optimal design of a one-way carsharing system including electric vehicles
” 责任导师 Alix MUNIER, 答辩 2016-6-27
LIU Hao
:
“
Protocoles scalables de cohérence des caches pour processeurs manycore à espace d'adressage partagé visant la basse consommation
” 责任导师 Alain GREINER, 答辩 2016-1-27
FUGUET TORTOLERO Cesar
:
“
Introduction of fault-tolerance mechanisms for permanent failures in coherent shared-memory many-core architectures
” 责任导师 Alain GREINER, 答辩 2015-11-25
DREBES Andi
:
“
Dynamic optimization of data-flow task-parallel applications for large-scale NUMA systems
” 责任导师 Nathalie DRACH-TEMAM, 答辩 2015-6-25
MORO Nicolas
:
“
Security of assembly programs against fault attacks on embedded processors
” 责任导师 Emmanuelle ENCRENAZ, 答辩 2014-11-13
HUJSA Thomas
:
“
Contribution to the study of weighted Petri nets
” 责任导师 Alix MUNIER, 答辩 2014-10-29
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, 答辩 2014-10-16
ALMALESS Ghassan
:
“
Operating System Design and Implementation for Single-Chip cc-NUMA Many-Core
” 责任导师 Alain GREINER, 答辩 2014-2-27
BODIN Bruno
:
“
Analyse d’Applications Flot de Données pour la Compilation Multiprocesseur
” 责任导师 Alix MUNIER, 答辩 2013-12-20
GIOJA Hermann
:
“
Transaction level modeling with distributed time and released synchronization techniques in order to parallely simulate many-core architectures
” 责任导师 Alain GREINER, 答辩 2013-12-16
SYED-ALWI Syed-Hussein
:
“
Vérification compositionnelle pour la conception sure de systèmes embarqués
” 责任导师 Emmanuelle ENCRENAZ, 答辩 2013-7-11
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, 答辩 2013-6-25
GUTHMULLER Eric
:
“
Adaptive cache architecture exploiting 3D stacking technologies in a manycore context
” 责任导师 Alain GREINER, 答辩 2013-4-11
GAMOUDI Oussama
:
“
Optimisation adaptative appliquée au préchargement de données
” 责任导师 Nathalie DRACH-TEMAM, 答辩 2012-7-3
BENAZOUZ Mohamed
:
“
Dimensionnement des Mémoires dans les Applications de Traitement de Flux de Données
” 责任导师 Alix MUNIER, 答辩 2012-4-13
PLOUVIEZ Geoffrey
:
“
Etude, spécification, vérification formelle de mécanismes de virtualisation sécurisés pour architecture many-cores
” 责任导师 Alain GREINER, 答辩 2012-1-19
MAIA PESSOA Isaac
:
“
no title
” 责任导师 Alain GREINER, 答辩 2011-10-25
OZAKTAS Haluk
:
“
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
NGUYEN Minh Huu
:
“
Sécurisation de processeurs vis-à-vis des attaques par faute et par analyse de la consommation
” 责任导师 Nathalie DRACH-TEMAM, 答辩 2011-9-21
GAO Yang
:
“
Generic cache controller for a massively parallel manycore architecture with coherent shared memory
” 责任导师 Alain GREINER, 答辩 2011-6-28
ZHANG Zhen
:
“
On the field Detection, De-activation and Reconfiguration (ODDR) mechanism for Permanent Fault-Tolerance of Network-on-Chip
” 责任导师 Alain GREINER, 答辩 2011-6-27
PORQUET Joël
:
“
Architecture de sécurité pour systèmes multiprocesseurs intégrés sur puce
” 责任导师 Alain GREINER, 答辩 2010-12-13
BECOULET Alexandre
:
“
Conception d'un système d'exploitation supportant nativement les
” 责任导师 Alain GREINER, 答辩 2010-9-28
ROSIÈRE Mathieu
:
“
MORPHEO : Processeur ouvert, haute performance, paramétrable et pérenne pour plate-forme de confiance
” 责任导师 Nathalie DRACH-TEMAM, 答辩 2010-6-28
TAKTAK Sami
:
“
Détection des interblocages dans les réseaux sur puce
” 责任导师 Emmanuelle ENCRENAZ, 答辩 2009-1-30
VIAUD Emmanuel
:
“
Modélisation SystemC d'architectures multi-processeurs intégrées sur puce
” 责任导师 Alain GREINER, 答辩 2009-1-27
MIRO PANADES Ivan
:
“
Conception et implantation d'un micro-réseau sur puce avec garantie de service
” 责任导师 Alain GREINER, 答辩 2008-5-20
SHEIBANYRAD Hamed
:
“
Implémentation Asynchrone d'un Réseau-sur-Puce Distribué
” 责任导师 Alain GREINER, 答辩 2008-3-19
COVELIERS Alexandre
:
“
Sensibilité aux jeux de données de la compilation itérative
” 责任导师 Nathalie DRACH-TEMAM, 答辩 2007-9-24
TUNA Matthieu
:
“
Auto-test logiciel des systèmes intégrés sur Puce (SoC)
” 责任导师 Mounir BENABDENBI, 答辩 2007-6-1
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, 答辩 2007-5-14
FAURE Etienne
:
“
Communications matériel/logiciel dans les ystèmes sur puce multi-processeurs orientés télécommunications
” 责任导师 Alain GREINER, 答辩 2007-4-27
BEAUDENON Vincent
:
“
Diarammes de décision de données pour la vérification de systemes matériels
” 责任导师 Emmanuelle ENCRENAZ, 答辩 2006-12-13
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, 答辩 2006-12-5
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, 答辩 2006-6-2
ANDRIAHANTENAINA Adrijean
:
“
Implémentation matérielle d'un micro-réseau SPIN à 32 ports
” 责任导师 Alain GREINER, 答辩 2006-1-31
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, 答辩 2005-12-9
DONNET Francois
:
“
Synthèse de co-processeurs pour systèmes intégrés
” 责任导师 Ivan AUGE, 答辩 2004-1-20