Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 87
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
Entretiens

le (2h7m50s)

CLAUDE BRISSAUD, ANCIEN MODÉLISTE "CHEZ BAZIN" / ROYALFRANCE, PUIS DIRIGEANT DE LORDSON, ET FRANÇOIS MARAST, ANCIEN RESPONSABLE DU LANCEMENT ET DE L'ORDONNANCEMENT "CHEZ BAZIN" / ROYALFRANCE / LORDSON

... l’introduction de l’informatique et le développement de l’automatisation puis de la robotisation.Enquête : Assegond Céline Réalisation : Assegond Céline et Palezis Alexandre Montage : Palezis Alexandre et Roussy-Ducher Nicolas La recherche VIVAMEMORI a...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte