Schéma global de compilation sous contraintes pour la recherche de compromis entre la taille d'une application et sa performance

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.RENNES1-BU Sciences Philo (352382102) / SudocSudocFranceF