Aller au contenu principal
en
INTRANET
Menu du compte de l'utilisateur
Navigation principale
Laboratoire
Qui sommes nous ?
Missions
Historique
Accès & Contact
Recherche
Organisation
Départements/Equipes
Axes de recherche
Les plateformes
Production scientifique
Rayonnement scientifique
Partenariat académique
Valorisation & Innovation
Transfert d'innovation
Différents modes de collaboration
Au coeur d'un riche écosystème
Formation
Universités & Grandes écoles
Faire un doctorat à l'IRISA
Financer une thèse
Après la thèse
Médiation scientifique
Recrutement
Les métiers
Offres d'emploi
Offres de thèses
Nouveaux arrivants
Agenda des événements
Thèse
- 23 May 2023 - 9:30
Thèse
May 23
9:30
2023
Amélioration de la sécurité des systèmes embarqués, temps réels et critiques
BELLEC Nicolas
Aurigny
de 9:30 à 11:00
Thèse
- 05 May 2023 - 14:00
Thèse
May 05
14:00
2023
On the mechanized verification of the meta-theory of contracts and its instantiation to differential dynamic logic
Stéphane KASTENBAUM (équipe TEA)
Belle-île (F022)
de 14:00 à 16:00
Thèse
- 15 Mar 2023 - 10:15
Thèse
Mar 15
10:15
2023
Hardware Accelerated Simulation and Automatic Design of Heterogeneous Architecture
CONG Minh Thanh - Equipe TARAN
Salle Pétri/Turing
de 10:15 à 12:30
Thèse
- 10 Mar 2023 - 10:00
Thèse
Mar 10
10:00
2023
Contributions to the Scalability of Automatic Precision Tuning
HA Van-Phu - Equipe TARAN
Salle Pétri/Turing
de 10:00 à 12:00
Thèse
- 08 Dec 2022 - 10:00
Thèse
Dec 08
10:00
2022
Energy – Performance Trade-Off for Optical Network-on-Chip
Jaechul LEE - Equipe TARAN
Salle Métivier
de 10:00 à 12:00
Séminaire
- 29 Nov 2022 - 9:30
Séminaire
Nov 29
9:30
2022
Séminaire du département Architecture, mardi 29 nov. 2022
Petri-Turing
de 9:30 à 17:30
HDR
- 28 Nov 2022 - 10:00
HDR
Nov 28
10:00
2022
Real-time and reliable design for safety-critical embedded systems
Angeliki KRITIKAKOU - Equipe TARAN
Salle Métivier
de 10:00 à 12:00
Thèse
- 10 Nov 2022 - 10:00
Thèse
Nov 10
10:00
2022
Microarchitectures for Robust and Efficient Incremental Backup in Intermittently-Powered Systems
Davide PALA - Equipe TARAN
Salle Métivier
de 10:00 à 14:00
Thèse
- 05 Jul 2022 - 14:00
Thèse
Jul 05
14:00
2022
Analyse et optimisation dynamiques de programmes au format binaire pour la cybersécurité
Camille Le Bon
Turing-Petri
de 14:00 à 16:00
HDR
- 13 Jun 2022 - 14:00
HDR
Jun 13
14:00
2022
Efficacité énergétique, tolérance aux pannes et technologies émergentes pour les interconnexions sur puce des architectures manycores
Cédric KILLIAN (TARAN)
Salle 020G
de 14:00 à 17:00
Thèse
- 05 Apr 2022 - 10:00
Thèse
Apr 05
10:00
2022
Détection d'évènements sonores environnementaux dans les réseaux de capteurs sans-fil à faible consommation
Marie-Anne LACROIX (Equipe GRANIT)
ENSSAT LANNION - Salle Jacques LE SQUIN (020G)
de 10:00 à 13:00
Thèse
- 24 Mar 2022 - 14:00
Thèse
Mar 24
14:00
2022
Spéculation temporelle pour accélérateurs matériels
Thibaut MARTY (Equipe TARAN)
Pétri/Turing
de 14:00 à 18:00
Pagination
1
2
›
››
»
Last »