Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 9829
Label UNT Conférences

le (57m20s)

Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie

Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables numériques (entiers et réels) il faut utiliser des notions géométriques telles que les intervalles et les polygones. Nous montrons ensuite que l'analyse des boucles (boucles while et boucles for) requiert des techniques d'accélération. Nous terminons avec des exercices réalisés avec l'outil concurinterproc qui permet d'analyser un ...
Voir la vidéo
Conférences

le (1h42m20s)

L'évaluation environnementale : principes, organisation administrative, conséquences

Cette conférence a été filmée le 17 janvier 2012 dans le cadre du séminaire annuel « Changements institutionnels, risques et vulnérabilités sociales », au programme du Master recherche de Sociologie de l'Université de Caen. Initié dans les années 1990, ce séminaire est actuellement dirigé par Salvador Juan, professeur de sociologie à l'Université de Caen.Résumé de la communicationLes préoccupations environnementales sont aujourd'hui très présentes sur la scène publique et elles constituent un enjeu du débat politique. Depuis des dizaines d'années, les connaissances à ce sujet n'ont cessé de s'accroître. De nombreux indicateurs, spécifiques ou globaux, ont été mis en place, surtout ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte