Nouveautés
Recherche simple :
Accueil
Documents
Pédagogie
Thèses
Publications Scientifiques
Multi-formats
Pédagogie > Recherche par mots-clefs en fr
  • Nouveautés
  • Recherche avancée
  • Recherche thématique UNIT
  • Recherche thématique
  • Recherche par établissements
  • Recherche par auteurs
  • Recherche par mots-clefs
Mots-clefs > S > système musical interactif
Niveau supérieur
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Tri :   Date Editeur Auteur Titre

Test et vérification automatique pour systèmes musicaux interactifs

/ INRIA (Institut national de recherche en informatique et automatique) / 03-07-2014 / Canal-u.fr
JACQUEMARD Florent
Voir le résumé
Voir le résumé
Le rôle d’un système musical interactif est de jouer d’égal à égal avec des musiciens humains. Pour cela, il doit réagir en temps réel au flux audio produit par les musiciens, suivant une « partition augmentée » écrite dans un langage spécialisé qui décrit en particulier des aspects temporels, des stratégies de synchronisation musicien/machine, des procedures de rattrapage d’erreurs... Afin de s'assurer d'un niveau de fiabilité suffisant pour l'utilisation lors d’un concert public, un important travail préparatoire est nécessaire, à l’instar des répétitions entre musiciens. Le niveau d’adaptabilité d’une machine restant bien sûr considérablement inférieur à celui d’un musicien, ces « répétitions » doivent prendre un caractère systématique et exhaustif, ce qui demande un traitement automatique. Nous verrons comment des méthodes formelles pour la vérification ou le test de systèmes embarqués peuvent être appliquées dans ce cadre, se basant sur des modèles formels de partitions augmentées.
Mot(s) clés libre(s) : test et vérification automatique, système musical interactif
 |  Accéder à la ressource

rss |< << Page précédente 1 Page suivante >> >| documents par page
© 2006-2010 ORI-OAI