Ce mémoire constitue une étude de validation d'une architecture de systèmes répartis fans laquelle les politiques de gestion des ressources sont séparées des mécanismes du système. Une particularité de cette architecture consiste à implanter les politiques à l'aide de techniques empruntées à l'intelligence artificielle, plus spécifiquement celles des systèmes à base de connaissances. Par ailleurs, les mécanismes sont écrits en code procédural comme c'est généralement le cas dans les systèmes d'exploitation classiques. Cette étude de validation comporte quatre étapes : la modélisation et la formalisation des connaissances propres à la répartition de charge dans un système réparti, l'implantation des connaissances dans un langage à base de r...
A l’heure actuelle les systèmes complexes de par leur caractère critique, leur nombre, leur taille, ...
La thèse s’inscrit dans le domaine de la modélisation et de la validation des systèmes modernes comp...
L'introduction générale a bien montré l'intérêt de logiciels aidant l'élève à s'approprier les démar...
Les systèmes sur puces sont un ensemble de composants hétérogènes. La conception des ces systèmes pe...
Les systèmes embarqués, y compris les dispositifs, l’intergiciel et le logiciel pour la création de ...
L évolution de la microélectronique permet de réaliser des systèmes hétérogènes incluant des fonctio...
Ces quelques dernières années, le monde de la conception des systèmes monopuces a subi un très grand...
Cette Habilitation à Diriger des Recherches est le fruit des résultats, tant en recherche qu'en ense...
La pression de qualité et de mise sur le marché de systèmes embarqués monopuces fait que la validati...
Rapport de contrat.Le but de ce document est de décrire le modèle OPNET développé pour la validation...
Il s'agit de constituer un système capable d'assister les responsables de projets d'aménagement en e...
Ces travaux de recherche proposent une approche de spécification et de validation d'un systeme de co...
SEP est une méthode incrémentale orientée-composant de Simulation et d'Evaluation de Performances d'...
Dans le cadre de leurs travaux, les chercheurs peuvent être amenés à assembler des programmes de sim...
La présente thèse, qui vise à explorer l’environnement micro ou sous-systémique du processus décisio...
A l’heure actuelle les systèmes complexes de par leur caractère critique, leur nombre, leur taille, ...
La thèse s’inscrit dans le domaine de la modélisation et de la validation des systèmes modernes comp...
L'introduction générale a bien montré l'intérêt de logiciels aidant l'élève à s'approprier les démar...
Les systèmes sur puces sont un ensemble de composants hétérogènes. La conception des ces systèmes pe...
Les systèmes embarqués, y compris les dispositifs, l’intergiciel et le logiciel pour la création de ...
L évolution de la microélectronique permet de réaliser des systèmes hétérogènes incluant des fonctio...
Ces quelques dernières années, le monde de la conception des systèmes monopuces a subi un très grand...
Cette Habilitation à Diriger des Recherches est le fruit des résultats, tant en recherche qu'en ense...
La pression de qualité et de mise sur le marché de systèmes embarqués monopuces fait que la validati...
Rapport de contrat.Le but de ce document est de décrire le modèle OPNET développé pour la validation...
Il s'agit de constituer un système capable d'assister les responsables de projets d'aménagement en e...
Ces travaux de recherche proposent une approche de spécification et de validation d'un systeme de co...
SEP est une méthode incrémentale orientée-composant de Simulation et d'Evaluation de Performances d'...
Dans le cadre de leurs travaux, les chercheurs peuvent être amenés à assembler des programmes de sim...
La présente thèse, qui vise à explorer l’environnement micro ou sous-systémique du processus décisio...
A l’heure actuelle les systèmes complexes de par leur caractère critique, leur nombre, leur taille, ...
La thèse s’inscrit dans le domaine de la modélisation et de la validation des systèmes modernes comp...
L'introduction générale a bien montré l'intérêt de logiciels aidant l'élève à s'approprier les démar...