Agenda des événements

Amélioration de la sécurité des systèmes embarqués, temps réels et critiques

BELLEC Nicolas

Aurigny

de 9:30 à 11:00

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

Hardware Accelerated Simulation and Automatic Design of Heterogeneous Architecture

CONG Minh Thanh - Equipe TARAN

Salle Pétri/Turing

de 10:15 à 12:30

Contributions to the Scalability of Automatic Precision Tuning

HA Van-Phu - Equipe TARAN

Salle Pétri/Turing

de 10:00 à 12:00

Energy – Performance Trade-Off for Optical Network-on-Chip

Jaechul LEE - Equipe TARAN

Salle Métivier

de 10:00 à 12:00

Séminaire du département Architecture, mardi 29 nov. 2022

Petri-Turing

de 9:30 à 17:30

Real-time and reliable design for safety-critical embedded systems

Angeliki KRITIKAKOU - Equipe TARAN

Salle Métivier

de 10:00 à 12:00

Microarchitectures for Robust and Efficient Incremental Backup in Intermittently-Powered Systems

Davide PALA - Equipe TARAN

Salle Métivier

de 10:00 à 14:00

Analyse et optimisation dynamiques de programmes au format binaire pour la cybersécurité

Camille Le Bon

Turing-Petri

de 14:00 à 16:00

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

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

Spéculation temporelle pour accélérateurs matériels

Thibaut MARTY (Equipe TARAN)

Pétri/Turing

de 14:00 à 18:00