16:00 to 17:00
Lecture

Scientific emergencies posed by the industry : fine causality, multi-clock circuits, ECOs and formal verification

Gérard Berry
Extended time : multiple clocks, discrete and continuous time
16:00 to 17:00
    INRIA Sophia-Antipolis
    Open to all, subject to availability
    -

    Documents and media

    Speaker(s)

    Gérard Berry

    Professor at the Collège de France

    Events

    Lecture
    16:00 to 17:00
    Gérard Berry

    Esterel and SCADE, from research to industry : the lab vision
    Seminar
    17:00 to 18:00
    Juliette Leblond

    Automatic time processing
    Lecture
    16:00 to 17:00
    Gérard Berry

    Esterel and SCADE, from research to industry : machine vision
    Seminar
    17:00 to 18:00
    Patrick Flandrin

    Can a frequency be instantaneous ?
    Lecture
    16:00 to 17:00
    Gérard Berry

    Scientific emergencies posed by the industry : fine causality, multi-clock circuits, EC…
    Seminar
    17:00 to 17:30
    Laurent Maillet-Contoz

    Virtual system-on-chip prototyping for fast, accurate simulation (1)
    Seminar
    17:30 to 18:45
    Matthieu Moy

    Virtual system-on-chip prototyping for fast, accurate simulation (2)
    Lecture
    16:00 to 17:00
    Gérard Berry

    Multi-clock circuits, metastability, synchronizers and asynchronous FIFOs
    Seminar
    17:00 to 18:00
    Albert Benveniste

    Weakly synchronized clock architecture for distributed real-time automation applications
    Lecture
    16:00 to 17:00
    Gérard Berry

    Synchronizing our watches : synchronizing hardware and software clocks in a distributed…
    Seminar
    17:00 to 18:00
    François Anceau

    Large-scale clock distribution on a chip
    Lecture
    16:00 to 17:00
    Gérard Berry

    Cooperation between time and communication models
    Seminar
    17:00 to 18:00
    Karl Johan Åström

    Modeling and simulation : from physics to languages and software
    Lecture
    16:00 to 17:00
    Gérard Berry

    Electricity is constructive : the equivalence between electrical propagation and constr…
    Seminar
    17:00 to 18:00
    Marc Pouzet

    Programming languages for hybrid discrete-time/continuous-time systems
    Lecture
    16:00 to 17:00
    Gérard Berry

    Playing with time
    Seminar
    17:00 to 18:00
    Marc Duranton et Albert Cohen

    Programming real-time parallel systems : challenges and successes of synchronous and Ka…
    Seminar
    16:00 to 17:00
    Virginie van Wassenhove

    Brain, cognition and time
    Seminar
    17:00 to 17:30
    Romain Brette

    Time in neural computation
    Lecture
    17:30 to 18:00
    Gérard Berry

    Discussion and answers to the year's questions

    See also

    Seminar related to the lecture: Extended time : multiple clocks, discrete and continuous time
    Gérard Berry, chair Algorithms, machines and languages
    Extended time : multiple clocks, discrete and continuous time