4:00 - 5:00pm
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
4:00 - 5:00pm
    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
    4:00 - 5:00pm
    Gérard Berry

    Esterel and SCADE, from research to industry : the lab vision
    Seminar
    5:00 - 6:00pm
    Juliette Leblond

    Automatic time processing
    Lecture
    4:00 - 5:00pm
    Gérard Berry

    Esterel and SCADE, from research to industry : machine vision
    Seminar
    5:00 - 6:00pm
    Patrick Flandrin

    Can a frequency be instantaneous ?
    Lecture
    4:00 - 5:00pm
    Gérard Berry

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

    Virtual system-on-chip prototyping for fast, accurate simulation (1)
    Seminar
    5:30 - 6:45pm
    Matthieu Moy

    Virtual system-on-chip prototyping for fast, accurate simulation (2)
    Lecture
    4:00 - 5:00pm
    Gérard Berry

    Multi-clock circuits, metastability, synchronizers and asynchronous FIFOs
    Seminar
    5:00 - 6:00pm
    Albert Benveniste

    Weakly synchronized clock architecture for distributed real-time automation applications
    Lecture
    4:00 - 5:00pm
    Gérard Berry

    Synchronizing our watches : synchronizing hardware and software clocks in a distributed…
    Seminar
    5:00 - 6:00pm
    François Anceau

    Large-scale clock distribution on a chip
    Lecture
    4:00 - 5:00pm
    Gérard Berry

    Cooperation between time and communication models
    Seminar
    5:00 - 6:00pm
    Karl Johan Åström

    Modeling and simulation : from physics to languages and software
    Lecture
    4:00 - 5:00pm
    Gérard Berry

    Electricity is constructive : the equivalence between electrical propagation and constr…
    Seminar
    5:00 - 6:00pm
    Marc Pouzet

    Programming languages for hybrid discrete-time/continuous-time systems
    Lecture
    4:00 - 5:00pm
    Gérard Berry

    Playing with time
    Seminar
    5:00 - 6:00pm
    Marc Duranton et Albert Cohen

    Programming real-time parallel systems : challenges and successes of synchronous and Ka…
    Seminar
    4:00 - 5:00pm
    Virginie van Wassenhove

    Brain, cognition and time
    Seminar
    5:00 - 5:30pm
    Romain Brette

    Time in neural computation
    Lecture
    5:30 - 6:00pm
    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