February 16, 2015
Maxime Senot (LACL - UPEC)Les machines à signaux constituent un modèle de calcul simple qui permet de calculer géométriquement sur un espace-temps continu, à savoir le plan euclidien. Ce modèle tire son origine dans le monde des automates cellulaires, et les objets de base sont des signaux abstraits unidimensionnels et leurs interactions, modélisées sous forme de collisions entre ces signaux. Nous donnerons un bref aperçu de ce modèle de calcul non-classique, ainsi que certaines de ces principales propriétés calculatoires, comme son pouvoir de calcul et son efficacité en terme de calcul parallèle.