Les Réseaux d'Automates Stochastiques (RAS) constituent un outil de prédilection pour modéliser le comportement des systèmes et réseaux informatiques, en particulier les systèmes parallèles. En vue de mener une étude transitoire permettant d'obtenir les mesures de performance et la sensibilité de certaines d'entre elles, nous sommes confrontés aux problèmes de complexités temporelle et spatiale (espace mémoire) ainsi qu'au contrôle de la précision des résultats numériques obtenus. L'intérêt des RAS est qu'ils permettent d'éviter la construction du générateur infinitésimal et un affrontement de la complexité temporelle grâce aux propriétés de l'algèbre tensorielle. L'objectif de cette étude est d'abord le calcul de la sensibilité du vecteur ...
National audienceNous proposons de traiter efficacement, par une méthode de réduction de modèle, une...
Ce papier présente les premiers résultats d'une étude concernant la transformation d'applications à ...
National audienceCet article présente une méthode de génération assistée de tests. Elle applique des...
Les Réseaux d'Automates Stochastiques (RAS) constituent un outil de prédilection pour modéliser le c...
Ce papier présente les premiers résultats d'une étude concernant la transformation d'applications à ...
National audienceLe but de ce papier est de mettre au point un algorithme parallèle pour la résoluti...
Cette étude traite de la sensibilité de l'espérance de récompense cumulée des modèles markoviens rai...
National audienceLa technique dite de complétion sur les automates d'arbre permet, à partir d'un aut...
International audienceLes systèmes d'aide au diagnostic médical illustrent comment à mesure que les ...
National audienceLa technique dite de complétion sur les automates d'arbre permet, à partir d'un aut...
International audienceDans ce papier, nous abordons la conception d'applications avioniques suivant ...
L’ensemble des laboratoires de biologie médicale a l’obligation, pour chaque analyse, de s’engager d...
Colloque avec actes et comité de lecture.Nous présentons un sous-ensemble des travaux développés dan...
National audienceDe nos jours, la recherche dans le domaine de reconnaissance d’activité n’a pas ces...
International audienceNotre approche conceptuelle de la modélisation du savoir est envisagée comme l...
National audienceNous proposons de traiter efficacement, par une méthode de réduction de modèle, une...
Ce papier présente les premiers résultats d'une étude concernant la transformation d'applications à ...
National audienceCet article présente une méthode de génération assistée de tests. Elle applique des...
Les Réseaux d'Automates Stochastiques (RAS) constituent un outil de prédilection pour modéliser le c...
Ce papier présente les premiers résultats d'une étude concernant la transformation d'applications à ...
National audienceLe but de ce papier est de mettre au point un algorithme parallèle pour la résoluti...
Cette étude traite de la sensibilité de l'espérance de récompense cumulée des modèles markoviens rai...
National audienceLa technique dite de complétion sur les automates d'arbre permet, à partir d'un aut...
International audienceLes systèmes d'aide au diagnostic médical illustrent comment à mesure que les ...
National audienceLa technique dite de complétion sur les automates d'arbre permet, à partir d'un aut...
International audienceDans ce papier, nous abordons la conception d'applications avioniques suivant ...
L’ensemble des laboratoires de biologie médicale a l’obligation, pour chaque analyse, de s’engager d...
Colloque avec actes et comité de lecture.Nous présentons un sous-ensemble des travaux développés dan...
National audienceDe nos jours, la recherche dans le domaine de reconnaissance d’activité n’a pas ces...
International audienceNotre approche conceptuelle de la modélisation du savoir est envisagée comme l...
National audienceNous proposons de traiter efficacement, par une méthode de réduction de modèle, une...
Ce papier présente les premiers résultats d'une étude concernant la transformation d'applications à ...
National audienceCet article présente une méthode de génération assistée de tests. Elle applique des...