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

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

    Lecture
    4:00 - 5:00pm

    Automatic time processing
    Juliette Leblond

    Seminar
    5:00 - 6:00pm

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

    Lecture
    4:00 - 5:00pm

    Can a frequency be instantaneous ?
    Patrick Flandrin

    Seminar
    5:00 - 6:00pm

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

    Lecture
    4:00 - 5:00pm

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

    Seminar
    5:00 - 5:30pm

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

    Seminar
    5:30 - 6:45pm

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

    Lecture
    4:00 - 5:00pm

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

    Seminar
    5:00 - 6:00pm

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

    Lecture
    4:00 - 5:00pm

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

    Seminar
    5:00 - 6:00pm

    Cooperation between time and communication models
    Gérard Berry

    Lecture
    4:00 - 5:00pm

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

    Seminar
    5:00 - 6:00pm

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

    Lecture
    4:00 - 5:00pm

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

    Seminar
    5:00 - 6:00pm

    Playing with time
    Gérard Berry

    Lecture
    4:00 - 5:00pm

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

    Seminar
    5:00 - 6:00pm

    Brain, cognition and time
    Virginie van Wassenhove

    Seminar
    4:00 - 5:00pm

    Time in neural computation
    Romain Brette

    Seminar
    5:00 - 5:30pm

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

    Lecture
    5:30 - 6:00pm

    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