Aller au contenu

Gérard BERRY Comment rendre l'informatique plus sûre

Date : 13.09.2018 — Vidéo 84 min. — Audio 84 min.

La première leçon sera consacrée à la nature des bugs et trous de sécurités et aux méthodes pour mieux développer et mieux vérifier, jusqu'à la preuve automatique des programmes ; si ce sujet est présent de longue date, il était resté dans l'ombre mais il refait surface et bénéficie de progrès extraordinaires.

La deuxième leçon retracera une brève histoire de la mesure du temps et abordera également la synchronisation mondiale informatique du temps, les bases de données temporelles,les circuits digitaux, les programmes temps réel, l'évolution de la composition et de l'exécution des musiques mixtes hommes / ordinateurs.

Les plus récents