-
Namely, Painless: A unifying approach to safe programming with first-order sy...
This dissertation describes a novel approach to safe meta-programming. A meta-program is a program which processes programs or similar data. Compilers and theorem... -
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...
