2019
Journée ANR TARMAC & Spatial Computing
Agenda
Mecredi 15 avril 2015, 10H-17H
Salle 4071 (salle dite Marcel-Paul Schützenberger). 4ième étage du bâtiment Sophie Germain, 8 place Aurélie Nemours, Paris 13.
Programme
-
10H30 Jean-Louis Giavitto (IRCAM-Paris) Calculer avec des temps mutiples en interaction musicale
Le temps est le compagnon implicite de l’espace. La structure du temps est souvent abstraite en une séquence (1D) d’événements ou d’instants. Cette organisation simple ne répond pas aux besoins de certaines applications temps réels, comme en musique, où l’on peut trouver plusieurs couches de relations temporelles qui nécessitent de traiter aussi bien des événements discrets que des durées continues. Je présenterais la manière dont le temps est représenté et géré dans le langage de programmation du système réactif et temporisé Antescofo. Antescofo est un suiveur de partition qui permet d’aligner en temps réel un flux audio avec la partition de ce qui est joué, et de lancer des actions en vérifiant des contraintes temporelles complexes. Dans ce langage, un programmeur peut définir son propre système de coordonnée temporelle, en lien avec un autre système de coordonnée, comme par exemple le musicien sur scène. Plusieurs stratégies de coordination ont été proposées pour concilier l’occurrence des événements et le passage continue du temps. Nous les présenterons à l’aide de diagramme temps-temps, analogue au diagramme espace-temps utilisé en physique ou bien pour les automates cellulaires.
-
11H30 Fred Gruau (LRI-Orsay) A computing medium for General purpose Computation.
Because of locality of communication in space, a computing medium such as a Cellular Automata (CA) can scale abitrarily, thus providing a machine which power can grow arbitrarily. This same locality , however, makes the programming difficult, and CA as a computing device looks more like a toy for mathematicians fond of funny images. We will show that it can be a real general purpose, and efficient computing device, by implementing self developing systems. We will present a demonstration of homogeneization in 2D, one of the key ingredient, and explains the many layers needed for general purpose computation, leading to a CA cell of around 64 bits of memory, and 20,000 gates.
-
14H30 Luidnel Maignan et Antoine Spicher (LACL-Créteil) Global Graph Transformations
Graph transformations are often represented algebraically using the concept of double-pushout which formalizes the idea of local replacement. In this paper, we consider Global Graph Transformations where all occurrences of a set of predefined rules are applied altogether synchronously so that each part of the original graph gives rise to a part of the result graph, without any reference to the original one. Our proposition is first motivated and illustrated on existing problems coming from different domains. It is then formalized as a categorical construction which is finally compared to more usual algebraic constructions, in particular to the strongly related Amalgamation Theorem. Applications of this work include the generalization of cellular automata and the clarification of some frameworks of complex systems modeling where the usual mutual exclusion of rule applications can be replaced by a concept of mutual agreement.
-
15H30 Luidnel Maignan et Jean Baptiste Yunès (LACL + LIAFA) Quelques synchronisations à l’aide de champs cellulaires
Depuis 2012, nous avons proposé plusieurs solutions au problème de la synchronisation du fusilliers, bien connu dans le domaine des automates cellulaires. Nous reviendrons sur ces solutions pour essayer d’en dégager les aspects généraux, et l’apport des “champs cellulaires” à la conception de ces solutions. Nous pourront également entrer dans certains détails de conception en fonction des questions de l’audience et inspecter les pistes de développement futur.
-
16H30. Discussion informelle
Support
Cette rencontre est partiellement financée par le projet TARMAC ANR 12-BS02-007.