par Berry, Gérard (1948-....)
Collège de France
-
-
Disponible - A partir du 25 août 2025 - 681.21 BER
par Berry, Gérard (1948-....)
Collège de France
-
Disponible - A partir du 25 août 2025 - 681.21 BER
Leçon prononcée le 28 mars 2013 par le titulaire de la chaire pérenne Algorithmes, machines et langages sur le traitement informatique du temps et des événements dans les circuits et logiciels embarqués et sur les méthodes de vérification de ces applications, en particulier dans le domaine des transports.
Chaire Algorithmes, machines et langages
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.
Disponible - A partir du 25 août 2025 - 681.21 BER