Abstract FR:

L'enjeu de la conception des systèmes enfouis est de réaliser un produit attractif pour un coût minimum. Techniquement il s'agit d'obtenir une performance maximale avec unetaille de code minimale. La génération du code des applications doit gérer deux objectifs généralement antagonistes : accroître les performances et réduire la taille descodes. Nous montrons dans cette thèse que des stratégies de compilation globales et efficaces sont nécessaires pour maximiser la performance sous contraintes de taille et inversement pour minimiser la taille sous contrainte de performances. Nous proposons ensuite un algorithme général de calcul automatique de compromis. Finalement, nous montrons que l'ensemble des techniques proposées permet de trouver des compromis de bonne qualité, répondant ainsi aux besoins de la mise en oeuvre des applications enfouies.