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

    Esterel and SCADE, from research to industry : the lab vision
    Gérard Berry

    Lecture
    16:00 to 17:00

    Automatic time processing
    Juliette Leblond

    Seminar
    17:00 to 18:00

    Esterel and SCADE, from research to industry : machine vision
    Gérard Berry

    Lecture
    16:00 to 17:00

    Can a frequency be instantaneous ?
    Patrick Flandrin

    Seminar
    17:00 to 18:00

    Scientific emergencies posed by the industry : fine causality, multi-clock circuits, EC…
    Gérard Berry

    Lecture
    16:00 to 17:00

    Virtual system-on-chip prototyping for fast, accurate simulation (1)
    Laurent Maillet-Contoz

    Seminar
    17:00 to 17:30

    Virtual system-on-chip prototyping for fast, accurate simulation (2)
    Matthieu Moy

    Seminar
    17:30 to 18:45

    Multi-clock circuits, metastability, synchronizers and asynchronous FIFOs
    Gérard Berry

    Lecture
    16:00 to 17:00

    Weakly synchronized clock architecture for distributed real-time automation applications
    Albert Benveniste

    Seminar
    17:00 to 18:00

    Synchronizing our watches : synchronizing hardware and software clocks in a distributed…
    Gérard Berry

    Lecture
    16:00 to 17:00

    Large-scale clock distribution on a chip
    François Anceau

    Seminar
    17:00 to 18:00

    Cooperation between time and communication models
    Gérard Berry

    Lecture
    16:00 to 17:00

    Modeling and simulation : from physics to languages and software
    Karl Johan Åström

    Seminar
    17:00 to 18:00

    Electricity is constructive : the equivalence between electrical propagation and constr…
    Gérard Berry

    Lecture
    16:00 to 17:00

    Programming languages for hybrid discrete-time/continuous-time systems
    Marc Pouzet

    Seminar
    17:00 to 18:00

    Playing with time
    Gérard Berry

    Lecture
    16:00 to 17:00

    Programming real-time parallel systems : challenges and successes of synchronous and Ka…
    Marc Duranton et Albert Cohen

    Seminar
    17:00 to 18:00

    Brain, cognition and time
    Virginie van Wassenhove

    Seminar
    16:00 to 17:00

    Time in neural computation
    Romain Brette

    Seminar
    17:00 to 17:30

    Discussion and answers to the year's questions
    Gérard Berry

    Lecture
    17:30 to 18:00

    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