Bannière Recherche Recherche

Laboratoires.Ecoles, Collège et Formation doctorales 

Stratégie. Séminaires, colloques. Sciences et société

Réseaux et pôles d'excellence. Investissements d'avenir (Labex)

CLAP-Hi-Fi-LVP 2023 : Rencontres de la communauté française de compilation

Temps actuel 0:00
Durée 0:00
Chargé: 0%
Type de flux EN DIRECT
Temps restant 0:00
 
1x
  • Chapitres
  • descriptions désactivées, sélectionné
  • Sous-titres désactivés, sélectionné
    • Quality

    Licence Creative Commons Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération

    21 mars 2023
    00:28:04
    Nombre de vues 21
    Nombre d’ajouts dans une liste de lecture 0
    Nombre de favoris 0

    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)

    • Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération

    Roméo LA SPINA (Université de Rennes 1, LANGAGE ET GÉNIE LOGICIEL, Institut national de recherche en informatique et en automatique)

    Mots clés : analyseur automatique clap cnrs donnees flot formelle genie gpl hifi informatique institut iteration langage logiciel lvp national ordre parametre preuve recherche rennes romeo spina universite

    Commentaire(s)

    Supprimer définitivement votre commentaire ?