-
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... -
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... -
Programming parallelism with futures in Heptagon a synchronous functional lan...
Synchronous languages are used to program critical reactive systems. Today, systems require to find a way to execute them safely and in parallel. Parallelism has...
