Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 299
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 (1h14m23s)

Comment peut-on être socio-anthropologue aujourd’hui ? : conférences de clôture

COLLOQUE INTERNATIONAL ET INTERDISCIPLINAIRE4èmes RENCONTRES DE SOCIO-ANTHROPOLOGIE DE GRENOBLECe thème de « la posture socio-anthropologique » (interdisciplinarité, transversalité et décloisonnement des sciences humaines) se situe dans le cadre d'un cycle de colloques de socio-anthropologie : "Comment peut-on être Socio-Anthropologue aujourd'hui ?". Chaque édition est consacrée à l'œuvre d'un invité d'honneur ayant marqué l'histoire scientifique dans cette perspective.  En janvier 2012, il s'agissait d'Edgar Morin. L’objectif de ce cycle annuel de colloques, est de faire se rencontrer autour de cette grande question récurrente des collègues de ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte