. Il-faudrait-dans-le-futur, poursuivre cetté evaluation demanì ere plus poussée et rigoureuse On pourrait par exemple comparer des fichiers contenant la trace de l'exécution d'une performance par chacun des systèmes. Il faudrait alors se pencher sur les différentes métriques qui permettraient de comparer proprement ces deux exécutions. On pourrait par exemple s'inspirer des métriques utilisées dans le cadre desévaluationsdesévaluations de MIREX [22]. Il serait, de plus

A. Cont, Synchronisme musical et musiques mixtes : du tempsécrittempsécrit au temps produit. Circuit : musiques contemporaines, p.2012

A. Cont and M. R. , Team : On the creative use of score following and its impact on research. Sound and Music Computing, 2011.

A. Cont, Antescofo : Anticipatory synchronization and control of interactive parameters in computer music, Proceedings of the International Computer Music Conference, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00694803

E. W. Large and M. R. Jones, The dynamics of attending: How people track time-varying events., Psychological Review, vol.106, issue.1, p.119, 1999.
DOI : 10.1037/0033-295X.106.1.119

C. André, Comparaison des styles de programmation de langages synchrones, Projet AOSTE-Juin, vol.5, 2005.

J. Echeveste, A. Cont, J. Giavitto, and F. Jacquemard, Formalisation des relations temporelles dans un contexte d'accompagnement musical automatique, 8e Colloque sur la Modélisation des Systèmes Réactifs (MSR'11), pp.109-124, 2011.
DOI : 10.3166/jesa.45.109-124

URL : https://hal.archives-ouvertes.fr/hal-00642921

G. Berry and G. Gonthier, The esterel synchronous programming language : design, semantics, implementation. Science of computer programming, pp.87-152, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075711

F. Boussinot and R. D. Simone, The ESTEREL language, Proceedings of the IEEE, pp.1293-1304, 1991.
DOI : 10.1109/5.97299

URL : https://hal.archives-ouvertes.fr/inria-00075075

P. Leguernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming real-time applications with SIGNAL, Proceedings of the IEEE, pp.1321-1336, 1991.
DOI : 10.1109/5.97301

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.6645

L. Mandel and M. Pouzet, Reactive ml : a reactive extension to ml, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, pp.82-93, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01489747

P. Caspi and G. Hamon, Pouzet : Synchronous functional programming : The lucid synchrone experiment, 2008.

J. Echeveste, A. Cont, J. Giavitto, and F. Jacquemard, Antescofo : a domain specific language for real time musician-computer interaction, 2012.
DOI : 10.1007/s10626-013-0166-2

URL : https://hal.inria.fr/hal-00854719/file/10.1007_s10626-013-0166-2.pdf

L. Mandel and F. , Interactive Programming of Reactive Systems, Electronic Notes in Theoretical Computer Science, vol.238, issue.1, pp.21-36, 2009.
DOI : 10.1016/j.entcs.2008.01.004

L. Mandel and F. Benbadis, Simulation of mobile ad hoc network protocols in ReactiveML, Proceedings of Synchronous Languages, Applications, and Programming (SLAP'05), 2005.
URL : https://hal.archives-ouvertes.fr/hal-01488510

L. Mandel, Conception, Sémantique et Implantation de ReactiveML : un langagè a la ML pour la programmation réactive, Thèse de doctorat, 2006.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

G. Kahn, The semantics of a simple language for parallel programming, Proceedings of IFIP Congress74, pp.471-475, 1974.

M. Pouzet, Lucid Synchrone, version 3. Tutorial and reference manual, 2006.

A. Cont, D. Schwarz, N. Schnell, and C. Raphael, Evaluation of real-time audio-to-score alignment, MIREX. ISMIR International Symposium on Music Information Retrieval, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00839068

E. A. Lee and H. Zheng, Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.114-123, 2007.
DOI : 10.1145/1289927.1289949

E. A. Lee, Computing needs time, Communications of the ACM, vol.52, issue.5, pp.70-79, 2009.
DOI : 10.1145/1506409.1506426

A. Cont, A coupled duration-focused architecture for real-time music-to-score alignment. Pattern Analysis and Machine Intelligence, IEEE Transactions on, vol.32, issue.6, pp.974-987, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00479737

Y. Orlarey, D. Fober, and S. Letz, Syntactical and semantical aspects of faust. Soft Computing-A Fusion of Foundations, Methodologies and Applications, pp.623-632, 2004.

C. Pasteur, Clock domains in a reactive functional language, 2011.

A. Benveniste, B. Caillaud, and M. Pouzet, The fundamentals of hybrid systems modelers, 49th IEEE Conference on Decision and Control (CDC), pp.4180-4185, 2010.
DOI : 10.1109/CDC.2010.5717614

URL : https://hal.archives-ouvertes.fr/inria-00554271

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Divide and recycle : types and compilation for a hybrid synchronous language, Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, pp.61-70, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00654112

P. Boulez, Penser la musique aujourd'hui, Denoël, vol.13, 1963.