16:00 à 17:00
Cours

Urgences scientifiques posées par l'industrie : causalité fine, circuits multi-horloges, ECOs et vérification formelle

Gérard Berry
Le temps élargi : horloges multiples, temps discrets et temps continu
16:00 à 17:00
    INRIA Sophia-Antipolis
    En libre accès, dans la limite des places disponibles
    -

    Documents et médias

    Intervenant(s)

    Gérard Berry

    Professeur du Collège de France

    Événements

    Cours
    16:00 à 17:00
    Gérard Berry

    Esterel et SCADE, de la recherche à l'industrie : la vision labo
    Séminaire
    17:00 à 18:00
    Juliette Leblond

    Le traitement du temps en automatique
    Cours
    16:00 à 17:00
    Gérard Berry

    Esterel et SCADE, de la recherche à l'industrie : la vision industrielle
    Séminaire
    17:00 à 18:00
    Patrick Flandrin

    Une fréquence peut-elle être instantanée ?
    Cours
    16:00 à 17:00
    Gérard Berry

    Urgences scientifiques posées par l'industrie : causalité fine, circuits multi-hor…
    Séminaire
    17:00 à 17:30
    Laurent Maillet-Contoz

    Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1)
    Séminaire
    17:30 à 18:45
    Matthieu Moy

    Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (2)
    Cours
    16:00 à 17:00
    Gérard Berry

    Circuits multi-horloges, métastabilité, synchroniseurs et FIFOs asynchrones
    Séminaire
    17:00 à 18:00
    Albert Benveniste

    Architecture à horloges faiblement synchronisées pour les applications d'automatique temps-réel dist…
    Cours
    16:00 à 17:00
    Gérard Berry

    Synchronisons nos montres : la synchronisation d'horloges matérielles et logiciell…
    Séminaire
    17:00 à 18:00
    François Anceau

    Distribution d'horloges à grande échelle sur une puce
    Cours
    16:00 à 17:00
    Gérard Berry

    Coopération entre modèles de temps et de communication
    Séminaire
    17:00 à 18:00
    Karl Johan Åström

    La modélisation et la simulation : de la physique aux langages et aux logiciels
    Cours
    16:00 à 17:00
    Gérard Berry

    L'électricité est constructive : l'équivalence entre la propagation électrique et …
    Séminaire
    17:00 à 18:00
    Marc Pouzet

    Langages pour la programmation des systèmes hybrides temps discret/temps continu
    Cours
    16:00 à 17:00
    Gérard Berry

    Jouer avec le temps
    Séminaire
    17:00 à 18:00
    Marc Duranton et Albert Cohen

    Programmation de systèmes parallèles temps-réel : défis et réussites des approches…
    Séminaire
    16:00 à 17:00
    Virginie van Wassenhove

    Cerveau, cognition et temps
    Séminaire
    17:00 à 17:30
    Romain Brette

    Le temps dans le calcul neuronal
    Cours
    17:30 à 18:00
    Gérard Berry

    Discussion et réponses aux questions de l'année

    Voir aussi

    Séminaire en relation avec le cours : Le temps élargi : horloges multiples, temps discrets et temps continu
    Gérard Berry, chaire Algorithmes, machines et langages
    Le temps élargi : horloges multiples, temps discrets et temps continu