RECHERCHER DANS CE BLOG

vendredi 8 février 2019

Comment rendre l'informatique plus sûre | Gérard Berry Académie royale de Belgique 29 oct. 2018



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.

Aucun commentaire:

Enregistrer un commentaire