All Episodes

06 - Prouver les programmes : pourquoi, quand, comment ?

05 - Prouver les programmes : pourquoi, quand, comment ?

04 - Prouver les programmes : pourquoi, quand, comment ?

03 - Prouver les programmes : pourquoi, quand, comment ?

02 - Prouver les programmes : pourquoi, quand, comment ?

01 - Prouver les programmes : pourquoi, quand, comment ?

06 - Le temps élargi : horloges multiples, temps discrets et temps continu

05 - Le temps élargi : horloges multiples, temps discrets et temps continu

04 - Le temps élargi : horloges multiples, temps discrets et temps continu

03 - Le temps élargi : horloges multiples, temps discrets et temps continu

02 - Le temps élargi : horloges multiples, temps discrets et temps continu

01 - Le temps élargi : horloges multiples, temps discrets et temps continu

07 - Le temps et les événements en informatique : Synthèse matérielle et compilation logicielle d'Esterel v7

06 - Le temps et les événements en informatique : La conception de circuits synchrones et multi-horloges en Esterel v7

05 - Le temps et les événements en informatique : La compilation logicielle d'Esterel v5

04 - Le temps et les événements en informatique : Systèmes réactifs logiciels, le design du langage synchrone Esterel v5

03 - Le temps et les événements en informatique : Circuits et nombre 2-adiques , une nouvelle vision de l'échange temps-espace

02 - Le temps et les événements en informatique : Parler du temps mais de manière formelle (2/2)

01 - Le temps et les événements en informatique : Parler du temps mais de manière formelle (1/2)

08 - Les grands challenges du numérique, conclusion

07 - Les grands challenges du numérique

06 - Les réseaux, un espace d'innovation exceptionnel

05 - A la chasse aux bugs : la vérification des programmes et circuits

04 - Les systèmes embarqués et l'informatisation des objets

03 - Les langages de programmation, vecteurs de la pensée informatique

02 - Des circuits aux systèmes sur puces

01 - Les algorithmes, coeur de l'informatique