Notice
Polyèdres et synthèse de programmes (copie)
- document 1 document 2 document 3
- niveau 1 niveau 2 niveau 3
Descriptif
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, utilisé notamment pour construire des compilateurs paralléliseurs pour l'intelligence artificielle et le calcul haute-performance.
Sur le même thème
-
#CocoPySHS 2021/2022 - Séance 4 - Python en code et no-code pour la cartographie de réseaux
Anderson-GonzálezMayaGruson-DanielCélyaPour cette quatrième séance, Maya et Célya font un retour d'expérience de deux projets menés au sein du cabinet de conseil en innovation ouverte Inno3 sur la cartographie de réseaux. La mise en
-
FPGA : un nouveau type d'accélérateur pour le calcul ?
Les Field Programmable Gate Arrays (FPGA) sont des puces électroniques qui se situent entre des ASICs, des puces dédiées à certains traitements, et des processeurs conventionnels (CPU). Cette
-
Questions-Réponses sur les packages Julia
Les intervenants répondent à toutes vos questions sur le développement de packages en Julia pendant 45 minutes.
-
Quelques algorithmes de calcul d'enveloppe convexe en 2D
GiraultAlainLe calcul de l'enveloppe convexe d'un nuage de points est un des problèmes fondamentaux en informatique, avec des applications multiples : traitement d'images, reconstruction 3D, détection de
-
Calcul reconfigurable: quand le programme est un circuit.
Dupont de DinechinFlorentDans le paradigme de programmation actuellement dominant, un programme est une suite d'instructions qui s'exécutent en séquence. Cette séquentialité est confortable pour écrire des programmes, mais
-
Retour d’expérience : Favoriser les apprentissages des élèves : le projet «Rob’O d’Évian»
Interventions de Anne Hélène Heligon Montfort, Marie-Christine Cosson, Frédérique Lazzarotto, Professeur des Écoles et conseillères pédagogiques – Académie de Grenoble
-
Entre les enfants et les ordinateurs: Human Computer Interaction
Intervention de Wendy McKay, Directrice de recherche, directrice du Laboratoire in|situ| @ INRIA
-
Construire l’apprentissage de l’algorithmie et de la logique de programmation en CM1/CM2
Intervention de Gilles Roisin-Firtina, Professeur des Écoles – Académie de Strasbourg
-
-
Initier les élèves à la pensée informatique et à la programmation
Intervention de Pierre Tchounikine, Professeur d’informatique à l’université de Grenoble
-
Cultures des ordinateurs
Intervention de Roberto Casati, Directeur d'études, EHESS
-
Apprentissages et machines
Intervention de Thierry Vieville, Directeur de recherche, INRIA Sophia-Antipolis
