-
On the creative use of score following and its impact on research
International audience -
Automated compiling targetting FPGAs
This dissertation explores the algorithmic opportunities offered by the high-level synthesis of digital synchronous circuits targeting Programmable Active Memories. We... -
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Nu...
Last version = author version of our CSI Journal of Computer Paper (same title and same content) -
Modeling and formal control of reconfiguration -- Application to dynamically ...
This thesis deals with the study of reconfiguration control modeling in dynamic systems, especially dynamically and partially reconfigurable Systems-on-Chip. The work... -
Synchronous composition of discretized control actions: design, verification ...
International audience -
Preuves de systèmes réactifs dans le modèle synchrone
Stage de DEA. Rapport de stage.
