Events agenda

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

BELLEC Nicolas

Aurigny

from 9:30 to 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)

from 14:00 to 16:00

Hardware Accelerated Simulation and Automatic Design of Heterogeneous Architecture

CONG Minh Thanh - Equipe TARAN

Salle Pétri/Turing

from 10:15 to 12:30

Contributions to the Scalability of Automatic Precision Tuning

HA Van-Phu - Equipe TARAN

Salle Pétri/Turing

from 10:00 to 12:00

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

Jaechul LEE - Equipe TARAN

Salle Métivier

from 10:00 to 12:00

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

Petri-Turing

from 9:30 to 17:30

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

Angeliki KRITIKAKOU - Equipe TARAN

Salle Métivier

from 10:00 to 12:00

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

Davide PALA - Equipe TARAN

Salle Métivier

from 10:00 to 14:00

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

Camille Le Bon

Turing-Petri

from 14:00 to 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

from 14:00 to 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)

from 10:00 to 13:00

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

Thibaut MARTY (Equipe TARAN)

Pétri/Turing

from 14:00 to 18:00