Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 661
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
Label UNT Conférences

le (1h33m23s)

Accès aux vidéos en ligne : comment repousser les limites des tuyaux ?: 1ère partie

Cette présentation porte sur l'accès aux contenus multimédia au travers d'Internet (au sens large). Nous commençons par présenter des éléments factuels qui montrent l'importance que ces services ont pris dans nos vies ainsi que les impacts sur le réseau lui même, qui doit acheminer des volumes de plus en plus importants. Nous abordons ensuite la notion de codage vidéo numérique et présentons les motivations qui poussent à compresser le flux vidéo. Nous poursuivons avec la transmission de ces contenus. Ainsi nous voyons pourquoi l'accès à une vidéo au travers d'Internet ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte