Bonjour, l'encodage des vidéos est opérationnel. Merci de ne pas tenir compte du message d'erreur qui s'affiche actuellement à la fin de l'encodage.
CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS (Rencontres de la communauté française de compilation)
- OptiTrust : User-Guided Source-to-Source Transformations (with Formal Guarantees)
Arthur CHARGUERAUD (ICube, Inria Strasbourg) et Thomas KOEHLER (Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie)
Infos
- Gricad Vidéos
- April 4, 2023, 9:04 a.m.
- Conferences
- French
Comment(s)