Canal-U

Mon compte

Résultats de recherche

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

le (15m34s)

Polyèdres et synthèse de programmes

En informatique, un calcul est décrit par un programme, lui-même exprimé dans un langage de programmation. Dans cet exposé, nous nous intéresserons à la synthèse de programmes, c'est à dire la construction automatique d'un programme à partir d'une spécification équationnelle.A travers l'exemple de la recherche du parenthésage optimal d'un produit de matrices, nous montrerons comment un programme efficace peut être synthétisé à l'aide d'un raisonnement sur des polyèdres entiers et des relations affines. Les notions en jeu s'inscrivent dans le cadre plus général du modèle polyédrique, ...
Voir la vidéo
Travaux pratiques

le (18m30s)

JDev2020 : T8 : Infrastructures nationales pour le déploiement de l'IA en France et en Europe

Seront présentés les moyens disponibles dans les mesocentres en région pour faire de la recherche et production en IA. Les moyens nationaux de GENCI seront présentés et particulierement la machine Jean Zay à l'IDRIS et les moyens d'y accéder. Enfin un tour des futures machines europeenes d'EUROHPC sera réalisé.GENCI est une très grande infrastructure de recherche, ayant un statut de société civile détenue à 49 % par l’État représenté par le ministère de l’Enseignement supérieur, la Recherche et de l’Innovation, 20 % par le CEA, 20 % par le CNRS, 10 % par les Universités représentées par la Conférence des présidents d'université et 1 % par Inria. ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte