Accueil/ expose
Composer le temps
mardi 04 décembre 2012

Loading the player...
Descriptif

Conférence de Gérard Berry pour une analyse du traitement du temps et des événements en informatique.

En informatique classique, le temps est souvent vu à travers le seul prisme du temps de calcul, et rarement vu comme un objet dont la programmation doit parler directement. Or, l’expression directe du temps est fondamentale pour de nombreuses applications informatiques : la conduite de systèmes physiques en temps réel, le traitement du signal, l’orchestration d’applications Web, ou encore la composition musicale pour les générateurs de sons et instruments électroniques. Ceci vaut plus généralement pour le traitement d’événements répétitifs, assimilables à des temps asynchrones au temps physique. Nous analyserons les questions posées par la représentation du temps et des événements répétitifs en informatique, la façon d’en parler dans les langages de programmation ou les logiques de raisonnement, le type d’applications concernée, et la relation avec les activités de modélisation et de simulation de systèmes.

Voir aussi


  • Les informaticiens et l'écriture
    Gérard Berry
  • 14 minutes avec 14 scientifiques
    Alain Prochiantz, Serge Haroche, François Bouchet, Alain Berthoz, Clotilde Policar, Susan Solomon, Elena Pasquinelli, Rava Da Silveira, Françoise Combes, Gérard Berry, Stanislas Dehaene, Julia Lawall, René Frydman, Eléonore Stutzmann
  • Fisher
    Gérard Berry
  • The new role of time and events in compu...
    Gérard Berry
  • Recent Progress in Leakage-Resilient Cry...
    Yevgeniy Dodis
  • Approximation Bounds for Sparse Principa...
    Alexandre D’Aspremont
  • Diviser-pour-Régner & Inférence Statisti...
    Michael I. Jordan
  • Logarithmes discrets dans les corps fini...
    Antoine Joux
  • Une théorie de l'information mentale
    Claude Berrou
  • Exponential Mechanism for Social Welfar...
    Sampath Kannan
  • Untangling knots using combinatorial opt...
    Benjamin Burton
  • De la convexité tropicale aux jeux répé...
    Stéphane Gaubert
  • A Foundation for Flow-Based Program Matc...
    Julia Lawall
  • Comment faire confiance à un compilateu...
    Xavier Leroy
  • Construction à large couverture de la re...
    Benoît Crabbé
  • Définir et mesurer la complexité : la t...
    Jean-Paul Delahaye
  • Rendre la virgule flottante plus rigoure...
    Jean-Michel Muller
  • Approximations for stochastic graph rewr...
    Vincent Danos
  • Social Networks : a research vision and ...
    Peter Marbach
  • Three discrete geometric structures and ...
    Nabil Mustafa
  • From spanners to distance oracles and co...
    Laurent Viennot
  • Cognitive Computing
    Jérôme Pesenti
  • Vers les nouvelles bases de données pers...
    Serge Abiteboul
  • Structured Parallel Programming Primitiv...
    Vivek Sarkar
  • Manipuler les réseaux euclidiens
    Damien Sthelé
  • Réduction de modèles de voies de signali...
    Jérôme Feret
  • Le patient numérique personnalisé
    Nicholas Ayache
  • Scade 6: conception d'un langage de prog...
    Bruno Pagano
  • Co-Adaptive Instruments. Can we reinven...
    Wendy Mackay
  • Analyse de pire temps d’exécution et pro...
    Pascal Raymond
  • Chiffrer mieux pour (dé)chiffrer plus
    Anne Canteaut
  • New Results at the Crossroads of Convexi...
    Sébastien Bubeck
Auteur(s)
Gérard Berry
Collège de France
Professeur

Plus sur cet auteur
Voir la fiche de l'auteur

Cursus :

Ancien élève de l'École polytechnique, Gérard Berry est un informaticien français, professeur au Collège de France, membre de l'Académie des sciences française, de l'Académie des technologies et de l'Academia Europaea. Il a reçu en 1979 la médaille de bronze du CNRS.

Depuis septembre 2012, il est professeur au Collège de France sur la chaire « Algorithmes, machines et langages », tout en restant collaborateur extérieur du projet Inria Indes. Son cours 2012-2013 a pour nom « L'informatique du temps et des événements ».

Cliquer ICI pour fermer
Annexes
Téléchargements :
   - Télécharger la vidéo
   - Télécharger l'audio (mp3)

Dernière mise à jour : 30/09/2014