Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 1342
Conférences

le (1h27m21s)

La guerre sacrée de Vladimir Poutine Par Galia Ackermann

Après l’éclatement de l’URSS  – où les Russes ethniques ont joué le rôle d’ossature de l’Empire soviétique  –  la population de la Russie s’est sentie désemparée, humiliée et perdue. L’ouverture des archives et la libération de la parole ont parallèlement provoqué un flot de révélations sur le véritable caractère du régime communiste. À son arrivée au pouvoir, Vladimir Poutine a su réhabiliter le passé soviétique mais sans reprendre l’idée communiste.La fierté du peuple russe se fonde désormais sur le combat victorieux mené contre le plus grand mal du 20e siècle, représenté par l’idéologie et les pratiques nazies. Cela sous-tend que ...
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