Cette these traite de la migration de processus dans les systemes massivement paralleles. L'interet d'une telle fonctionnalite est de permettre a un systeme d'exploitation une gestion efficace des ressources. Les criteres de conception sont la transparence de la migration, la reduction des couts induits, et l'adequation entre les algorithmes de migration et l'extensibilite des architectures cibles. La migration d'un processus vers un nouveau processeur necessite la suspension du processus, le transfert de son contexte d'execution et la reprise de l'execution sur le nouveau processeur. De plus, les protocoles de communication et d'acces doivent etre reconsideres afin de tenir compte de la migration de processus. Pour ces differentes actions et selon les criteres de conception retenus, de nouveaux algorithmes ont ete proposes. La mise en oeuvre de ces algorithmes dans le noyau de systeme Parallele ParX nous a permis de montrer que la realisation d'un mecanisme de migration de processus dans un systeme massivement parallele peut s'effectuer sans penaliser les performances du systeme de facon significative. Enfin, nous avons propose un algorithme de repartition de charge qui utilise la migration de processus. Compare a un algorithme uniquement fonde sur le placement des processus, les experimentations effectuees montrent que notre algorithme ameliore les temps de reponse du systeme grace a la migration de processus. Cette amelioration est obtenue lorsque les temps d'execution et d'inter-creation des processus sont variables et le cout de migration negligeable par rapport a la duree d'execution des processus.

Cette these definit un modele de representation de connaissances adapte aux besoins des applications de CAO. Le modele propose, appele Shood, s'inspire de concepts issus des systemes de representation de connaissances et des langages orientes objet. Shood repond aux besoins de puissance de representation (aspects declaratifs), d'integration des outils de calcul (aspects proceduraux) et d'evolution des besoins (extensibilite) des applications de CAO. Dans Shood, la semantique des liens structurant la connaissance (heritage multiple, disjonction et instanciation multiple) est fondee sur des relations ensemblistes. Les attributs sont definis par des descripteurs qui peuvent etre enrichis. Les descripteurs de base permettent de typer les attributs (descripteur de type), de leur associer une methode de calcul automatique (descripteur d'inferences) et de restreindre leurs valeurs de fac,on procedurale (descripteur de contraintes). Les methodes Shood sont basees sur le concept de fonction generique. Un mecanisme de classification permet de choisir avec precision la methode la plus adaptee en fonction des valeurs des arguments en entree. Les methodes peuvent etre reutilisees grace aux mecanismes de specialisation declarative et procedurale. L'extension du modele est possible grace a sa definition reflexive: les concepts de Shood sont definis en termes d'eux-memes grace a un niveau meta.