Explorez tous les épisodes du podcast Algorithmes, machines et langages - Gérard Berry
| Titre | Date | Durée | |
|---|---|---|---|
| Leçon de clôture - Gérard Berry : Où va l'informatique ? - Plaidoyer pour les trajectoires non linéaires | 26 Feb 2019 | 01:00:46 | |
Gérard Berry Algorithmes, machines et langages Collège de France LEÇON DE CLÔTURE Où va l'informatique ? - Plaidoyer pour les trajectoires non linéaires 26 février 2019 | |||
| 06 - Le temps élargi : horloges multiples, temps discrets et temps continu | 09 Apr 2014 | 00:46:21 | |
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Sixième leçon : La déformatique | |||
| 07 - Les grands challenges du numérique | 21 Mar 2008 | 00:02:50 | |
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Septième cours Les grands challenges du numérique 21 mars 2008 | |||
| 06 - Les réseaux, un espace d'innovation exceptionnel | 14 Mar 2008 | 00:56:47 | |
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Sixième cours Les réseaux, un espace d'innovation exceptionnel 14 mars 2008 | |||
| 05 - A la chasse aux bugs : la vérification des programmes et circuits | 22 Feb 2008 | 00:59:35 | |
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Cinquième cours A la chasse aux bugs : la vérification des programmes et circuits 22 février 2008 | |||
| 04 - Les systèmes embarqués et l'informatisation des objets | 15 Feb 2008 | 00:57:43 | |
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Quatrième cours Les systèmes embarqués et l'informatisation des objets 15 février 2008 | |||
| 03 - Les langages de programmation, vecteurs de la pensée informatique | 08 Feb 2008 | 00:59:30 | |
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Troisième cours Les langages de programmation, vecteurs de la pensée informatique 1er février 2008 | |||
| 02 - Des circuits aux systèmes sur puces | 01 Feb 2008 | 01:00:19 | |
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Deuxième cours Des circuits aux systèmes sur puces 1er février 2008 | |||
| 01 - Les algorithmes, coeur de l'informatique | 25 Jan 2008 | 00:52:12 | |
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Premier cours Les algorithmes, coeur de l'informatique 25 janvier 2008 | |||
| Leçon inaugurale - Gérard Berry : Pourquoi et comment le monde devient numérique | 17 Jan 2008 | 00:56:40 | |
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. | |||
| 05 - Le temps élargi : horloges multiples, temps discrets et temps continu | 02 Apr 2014 | 01:02:26 | |
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Cinquième leçon : Jouer avec le temps | |||
| 04 - Le temps élargi : horloges multiples, temps discrets et temps continu | 26 Mar 2014 | 01:00:56 | |
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Quatriè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 Mar 2014 | 00:59:02 | |
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Troisiè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 Mar 2014 | 01:01:03 | |
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Deuxiè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 Mar 2014 | 00:57:20 | |
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Première leçon : Circuits multi-horloges, métastabilité, synchroniseurs et FIFOs asynchrones Ce 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 une donnée produite sur une horloge doit être lue par un système cadencé sur une autre horloge asynchrone, il se peut qu'un front d'horloge réceptrice commandant l'échantillonnage d'une entrée par un registre arrive au moment où l'entrée elle-même est en train de changer. Dans ce cas, le registre peut rendre une valeur booléenne aléatoire ou rester métastable entre les deux valeurs booléennes pendant un temps aléatoire. Nous étudierons deux montages fondamentaux qui permettent de contourner cette difficulté intrinsèque à l'aide de protocoles spécifiques : les synchroniseurs multi-horloges et les files FIFO multi-horloges. Nous verrons que ces montages sont délicats et coûteux, et que diverses optimisations apparemment habiles peuvent s'avérer radicalement fausses. | |||
| Leçon inaugurale - Gérard Berry : L'informatique du temps et des événements | 28 Mar 2013 | 01:00:23 | |
Gérard Berry Collège de France Chaire Algorithmes, machines et langages (2012-2019) Leçon inaugurale : L'informatique du temps et des événements Date : 28 mars 2013 Ré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 Nov 2009 | 00:59:50 | |
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 Mar 2008 | 01:01:24 | |
Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Huitième cours Les grands challenges du numérique, conclusion 28 mars 2008 | |||