-
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...
