Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 11398
Conférences

le (1h15m23s)

LE SATELLITE GAIA, À LA RECHERCHE DU PRÉSENT ET DU PASSÉ DE LA VOIE LACTÉE

La mission astrométrique Gaia, lancée par l'Agence Spatiale Européenne en 2013, est en train de cartographier en 3D plus d'un milliard d'objets de notre Galaxie, avec une précision inégalée. Pour la première fois, nous avons accès aux mouvements de plusieurs millions d'étoiles, bien au-delà du voisinage solaire, alors que jusqu'à présent ces mesures n'étaient possibles qu'à proximité de notre étoile, le Soleil. Je présenterai les nombreuses premières découvertes de la mission Gaia, et en particulier la façon dont Gaia a permis de « peser » la ...
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