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

    Esterel et SCADE, de la recherche à l'industrie : la vision labo
    Gérard Berry

    Cours
    16:00 à 17:00

    Le traitement du temps en automatique
    Juliette Leblond

    Séminaire
    17:00 à 18:00

    Esterel et SCADE, de la recherche à l'industrie : la vision industrielle
    Gérard Berry

    Cours
    16:00 à 17:00

    Une fréquence peut-elle être instantanée ?
    Patrick Flandrin

    Séminaire
    17:00 à 18:00

    Urgences scientifiques posées par l'industrie : causalité fine, circuits multi-hor…
    Gérard Berry

    Cours
    16:00 à 17:00

    Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1)
    Laurent Maillet-Contoz

    Séminaire
    17:00 à 17:30

    Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (2)
    Matthieu Moy

    Séminaire
    17:30 à 18:45

    Circuits multi-horloges, métastabilité, synchroniseurs et FIFOs asynchrones
    Gérard Berry

    Cours
    16:00 à 17:00

    Architecture à horloges faiblement synchronisées pour les applications d'automatique temps-réel dist…
    Albert Benveniste

    Séminaire
    17:00 à 18:00

    Synchronisons nos montres : la synchronisation d'horloges matérielles et logiciell…
    Gérard Berry

    Cours
    16:00 à 17:00

    Distribution d'horloges à grande échelle sur une puce
    François Anceau

    Séminaire
    17:00 à 18:00

    Coopération entre modèles de temps et de communication
    Gérard Berry

    Cours
    16:00 à 17:00

    La modélisation et la simulation : de la physique aux langages et aux logiciels
    Karl Johan Åström

    Séminaire
    17:00 à 18:00

    L'électricité est constructive : l'équivalence entre la propagation électrique et …
    Gérard Berry

    Cours
    16:00 à 17:00

    Langages pour la programmation des systèmes hybrides temps discret/temps continu
    Marc Pouzet

    Séminaire
    17:00 à 18:00

    Jouer avec le temps
    Gérard Berry

    Cours
    16:00 à 17:00

    Programmation de systèmes parallèles temps-réel : défis et réussites des approches…
    Marc Duranton et Albert Cohen

    Séminaire
    17:00 à 18:00

    Cerveau, cognition et temps
    Virginie van Wassenhove

    Séminaire
    16:00 à 17:00

    Le temps dans le calcul neuronal
    Romain Brette

    Séminaire
    17:00 à 17:30

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

    Cours
    17:30 à 18:00

    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