-
Metaprogrammed algorithmic skeletons : implementations, performances and sema...
Structured parallelism approaches are a trade-off between automatic parallelisation and concurrent and distributed programming such as Pthreads and MPI. Skeletal... -
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...
