-
Environment for the systematic development and proof of correction of functio...
Parallel program design and implementation is a complex, error prone task. Verifying parallel programs is also harder than verifying sequential ones. To ease the... -
Multi-level optimisation of an image processing application on parallel machines
This thesis aims to define a design methodology for high performance applications on future embedded processors. These architectures require an efficient usage of... -
Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Libr...
International audience -
Algorithmic Skeletons within an Embedded Domain Specific Language for the CEL...
International audience
