Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 2766
Vidéocours

le (26m28s)

Le Rapport mondial sur le développement durable (GSDR) de 2019 : analyse

Jean-Paul Moatti, Président-directeur général de l'Institut de Recherche pour le Développement (IRD), analyse dans cette vidéo (26'28) le Rapport mondial de 2019 sur le développement durable (GSDR). Il montre tout d'abord que la trajectoire des sociétés est actuellement insuffisante pour atteindre les 17 Objectifs de développement durable et met en lumière trois perspectives pour tenter d'améliorer la situation : une meilleure prise en compte des interactions entre ODD, une mobilisation des grandes masses financières et une nouvelle façon de faire de la science.
Voir la vidéo
Conférences

le (1h8m54s)

Theoretical Foundations for Runtime Monitoring

Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly. In this talk, I will present a theoretical framework that can be used to provide answers to those questions. I will view monitorability as a spectrum: the fewer monitor guarantees are required, the more properties become monitorable. I will then present a monitorability hierarchy ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte