Algorithmes, Machines Et Langages

  • Author: Vários
  • Narrator: Vários
  • Publisher: Podcast
  • Duration: 16:35:07
  • More information

Informações:

Synopsis

Ancien élève de lÉcole polytechnique, ingénieur général du Corps des mines, membre de lAcadémie des science, de lAcadémie des technologies et de lAcademia Europaea, chercheur à lÉcole des mines de Paris et à lINRIA de 1970 à 2000, Directeur scientifique dEsterel Technologies de 2001 à 2009, Gérard Berry est actuellement chercheur à lInstitut National de Recherche en Informatique et Automatique (INRIA) et président de la commission dévaluation de cet institut. Sa contribution scientifique concerne trois principaux sujets : le lambda calcul et la sémantique formelle des langages de programmation, la programmation parallèle et temps réel, et la conception assistée par ordinateur de circuits intégrés. Il est le créateur du langage de programmation Esterel.

Episodes

  • Où va l'informatique ?

    26/02/2019 Duration: 01h46s

    Gérard Berry Algorithmes, machines et langages Collège de France LEÇON DE CLÔTURE Où va l'informatique ? 26 février 2019

  • 06 - Le temps élargi : horloges multiples, temps discrets et temps continu

    09/04/2014 Duration: 46min

    Gérard BerryAlgorithmes, machines et langagesLe temps élargi : horloges multiples, temps discrets et temps continuSixième leçon : La déformatique

  • 05 - Le temps élargi : horloges multiples, temps discrets et temps continu

    02/04/2014 Duration: 01h02min

    Gérard BerryAlgorithmes, machines et langagesLe temps élargi : horloges multiples, temps discrets et temps continuCinquième leçon : Jouer avec le temps

  • 04 - Le temps élargi : horloges multiples, temps discrets et temps continu

    26/03/2014 Duration: 01h56s

    Gérard BerryAlgorithmes, machines et langagesLe temps élargi : horloges multiples, temps discrets et temps continuQuatrième leçon : L'électricité est constructive : l'équivalence entre la propagation électrique et le calcul Booléen constructif pour les circuits synchrones cycliques

  • 03 - Le temps élargi : horloges multiples, temps discrets et temps continu

    19/03/2014 Duration: 59min

    Gérard BerryAlgorithmes, machines et langagesLe temps élargi : horloges multiples, temps discrets et temps continuTroisième leçon : Coopération entre modèles de temps et de communication

  • 02 - Le temps élargi : horloges multiples, temps discrets et temps continu

    12/03/2014 Duration: 01h01min

    Gérard BerryAlgorithmes, machines et langagesLe temps élargi : horloges multiples, temps discrets et temps continuDeuxième leçon : Synchronisons nos montres : la synchronisation d'horloges matérielles et logicielles en environnement distribué

  • 01 - Le temps élargi : horloges multiples, temps discrets et temps continu

    05/03/2014 Duration: 57min

    Gérard BerryAlgorithmes, machines et langagesLe temps élargi : horloges multiples, temps discrets et temps continuPremière leçon : Circuits multi-horloges, métastabilité, synchroniseurs et FIFOs asynchronesCe premier cours parisien présentera d'abord brièvement les divers sujets traités dans l'ensemble des cours de l'année. Il sera ensuite consacré aux problèmes délicats des circuits multi-horloges.Alors que les circuits digitaux du XXe siècle avaient le plus souvent une seule horloge, les systèmes sur puce du XXIe siècle en comportent en général plusieurs, en particulier pour cadencer des composants de fréquences intrinsèques différentes et pour abaisser la consommation d'énergie en réduisant la vitesse de certaines horloges selon la charge locale des circuits qu'elles cadencent. Les rapports temporels de ces horloges peuvent être variés : synchronisées, en décalage de phase, harmoniques ou encore vraiment asynchrones, ce dernier cas étant le plus complexe en terme d'échange d'information. En effet, quand un

  • Leçon inaugurale - Gérard Berry : L'informatique du temps et des événements

    28/03/2013 Duration: 01h23s

    Gérard BerryCollège de FranceChaire Algorithmes, machines et langages (2012-2019)Leçon inaugurale : L'informatique du temps et des événementsDate : 28 mars 2013RésuméGérer le temps et les événements est central dans des domaines variés de l'informatique, des circuits et logiciels embarqués dans des objets de toutes sortes à la création musicale, en passant par la simulation de phénomènes physiques. Ce sujet est pourtant peu traité par l'informatique classique. Cette leçon présente des modélisations du temps et des événements associées à de nouveaux langages de programmation. Elle traite des notions d'épaisseur de l'instant, de temps hiérarchique et multiforme créé par la répétition d'événements, et du rapport temps réel/temps continu.

  • Leçon inaugurale - Gérard Berry : Penser, modéliser et maîtriser le calcul informatique

    19/11/2009 Duration: 59min

    Gérard Berry Collège de France Chaire annuelle Informatique et sciences numériques (2009-2010) LEÇON INAUGURALE : Penser, modéliser et maîtriser le calcul informatique Date : 19 novembre 2009 RésuméNotre vie quotidienne est sans cesse bouleversée par les innovations technologiques du monde numérique. Mais les fondements de celui-ci restent largement ignorés du public, qui semble en permanence surpris par des évolutions pourtant prévisibles : c'est le signe d'un schéma mental mal adapté. L'ambition de cette leçon inaugurale est d'aider à construire un bon sens informatique, en expliquant sur quels concepts scientifiques et techniques repose la révolution numérique, quels outils elle met en oeuvre, et quels sont ses impacts et ses difficultés.

  • 08 - Les grands challenges du numérique, conclusion

    28/03/2008 Duration: 01h01min

    Gérard BerryChaire d'Innovation technologique - Liliane BettencourtHuitième coursLes grands challenges du numérique, conclusion28 mars 2008

  • 07 - Les grands challenges du numérique

    21/03/2008 Duration: 02min

    Gérard BerryChaire d'Innovation technologique - Liliane BettencourtSeptième coursLes grands challenges du numérique21 mars 2008

  • 06 - Les réseaux, un espace d'innovation exceptionnel

    14/03/2008 Duration: 56min

    Gérard BerryChaire d'Innovation technologique - Liliane BettencourtSixième coursLes réseaux, un espace d'innovation exceptionnel14 mars 2008

  • 05 - A la chasse aux bugs : la vérification des programmes et circuits

    22/02/2008 Duration: 59min

    Gérard BerryChaire d'Innovation technologique - Liliane BettencourtCinquième coursA la chasse aux bugs : la vérification des programmes et circuits22 février 2008

  • 04 - Les systèmes embarqués et l'informatisation des objets

    15/02/2008 Duration: 57min

    Gérard BerryChaire d'Innovation technologique - Liliane BettencourtQuatrième coursLes systèmes embarqués et l'informatisation des objets15 février 2008

  • 03 - Les langages de programmation, vecteurs de la pensée informatique

    08/02/2008 Duration: 59min

    Gérard BerryChaire d'Innovation technologique - Liliane BettencourtTroisième coursLes langages de programmation, vecteurs de la pensée informatique1er février 2008

  • 02 - Des circuits aux systèmes sur puces

    01/02/2008 Duration: 01h19s

    Gérard BerryChaire d'Innovation technologique - Liliane BettencourtDeuxième coursDes circuits aux systèmes sur puces1er février 2008

  • 01 - Les algorithmes, coeur de l'informatique

    25/01/2008 Duration: 52min

    Gérard BerryChaire d'Innovation technologique - Liliane BettencourtPremier coursLes algorithmes, coeur de l'informatique25 janvier 2008

  • Leçon inaugurale - Gérard Berry : Pourquoi et comment le monde devient numérique

    17/01/2008 Duration: 56min

    Gérard Berry Collège de France Chaire annuelle Innovation technologique - Liliane Bettencourt (2007-2008) LEÇON INAUGURALE : Pourquoi et comment le monde devient numérique Date : 17 janvier 2008 RésuméNotre vie quotidienne est sans cesse bouleversée par les innovations technologiques du monde numérique. Mais les fondements de celui-ci restent largement ignorés du public, qui semble en permanence surpris par des évolutions pourtant prévisibles : c'est le signe d'un schéma mental mal adapté. L'ambition de cette leçon inaugurale est d'aider à construire un bon sens informatique, en expliquant sur quels concepts scientifiques et techniques repose la révolution numérique, quels outils elle met en oeuvre, et quels sont ses impacts et ses difficultés.