From out-of-time design to in-time production of temporal media

Paul Hudak 1 David Janin 2, 3
2 PoSET - Models for a Structured Programming of Space and Time
LaBRI - Laboratoire Bordelais de Recherche en Informatique, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, Inria Bordeaux - Sud-Ouest
Abstract : The design a temporal media, a sequence of temporal media values such as notes, sounds, images, etc., is an out-of-time task. Fairly general out-of-time program constructs are available for such a purpose. For example , when writing a musical piece, a composer can traverse back and forth his creation. On the contrary, rendering a temporal media is an in-time task. The production of notes in a musical performance is bound to be coherent with the unceasing onward flow of time. It follows that some of the out-of-time programming constructs used for the creation of that pieces must have been reordered in order to produce the right media events in the right order and at the right time. In this paper, we propose a formal study of the interplay between these in-time and these out-of-time programing constructs. With an explicitly out-of-time design approach, we eventually show that simpler and more abstract declarative programming features become available, leaving to computers the tedious task of synchronizing and scheduling the media events to be produced in-time, upon demand.
Type de document :
Rapport
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01182995
Contributeur : David Janin <>
Soumis le : mercredi 5 août 2015 - 18:09:46
Dernière modification le : jeudi 7 février 2019 - 14:33:02
Document(s) archivé(s) le : mercredi 26 avril 2017 - 09:39:00

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01182995, version 1

Citation

Paul Hudak, David Janin. From out-of-time design to in-time production of temporal media. [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015. 〈hal-01182995〉

Partager

Métriques

Consultations de la notice

368

Téléchargements de fichiers

104