Participants : Bruno Gaujal, Jean Mairesse, Alain Jean-Marie
Les systèmes d'équations de récurrence uniformes apparaissent dans l'analyse de systèmes d'équations aux dérivées partielles par différences finies, aussi bien que dans l'étude de circuits digitaux synchrones ou de systèmes dynamiques à événements discrets. Dans [49] nous montrons comment minimiser le nombre de cases mémoires nécessaire et suffisant pour mener les calculs de façon synchrone. La solution à ce problème a de nombreuses applications pour minimiser le nombre de registres dans les circuits logiques ou pour optimiser la simulation parallèle de tels systèmes. Les preuves font appel à l'équivalence de différents modèles et à des propriétés de flots.