L'utilisation du temps physique comme référence pour la synchronisation des processus d'une application répartie peut être étendue à une notion logique de temps : le temps virtuel. Dans un tel contexte, il existe une horloge virtuelle globale à l'ensemble des processus dont l'évolution est cadencée par des règles propres à l'application et non par un phénomene physique extérieur. Cette horloge permet d'organiser le calcul, de contrôler son évolution, de dater des évènements, etc. Cet article présente l'implémentation et l'évaluation d'un noyau de système répartie appele Floria et réalisé à l'IRISA ; ce noyau permet d'utiliser la notion de temps virtuel dans une application. Dans un premier temps, le noyau et son interface sont présentés, et...
National audienceRéduire la consommation énergétique -- composée des consommations dynamique et stat...
International audienceCet article est divisé en deux parties. La première partie porte sur un état d...
National audienceLa performance d'un système de production est plurielle et multidimensionnelle. Ell...
L'utilisation du temps physique comme référence pour la synchronisation des processus d'une applicat...
L'arrivée des machines parallèles à mémoire répartie rend envisageables la conception et l'implément...
Un système informatique est temps-réel lorsque ses traitements doivent vérifier des propriétés d'ord...
Colloque avec actes et comité de lecture. nationale.National audienceLes systèmes réactifs temps rée...
International audienceAprès avoir introduit et proposé, dans des travaux précédents, un cadre formel...
International audienceLes simulations temporelles sont souvent utilisées pour étudier la performance...
Dans le contexte politique et économique actuel, les dispositifs à base d'électronique de puissance ...
Dans cet article, nous proposons d'évaluer la performance d'un simulateur immersif de travail en hau...
International audienceLes réseaux de Petri représentent un formalisme puissant et reconnu pour la mo...
Cette thèse a pour objet l'étude d'un environnement logiciel temps-réel distribué pour la simulation...
National audienceIl s'agira dans cet exposé de brosser le tableau des méthodes numériques de simulat...
National audienceRéduire la consommation énergétique -- composée des consommations dynamique et stat...
International audienceCet article est divisé en deux parties. La première partie porte sur un état d...
National audienceLa performance d'un système de production est plurielle et multidimensionnelle. Ell...
L'utilisation du temps physique comme référence pour la synchronisation des processus d'une applicat...
L'arrivée des machines parallèles à mémoire répartie rend envisageables la conception et l'implément...
Un système informatique est temps-réel lorsque ses traitements doivent vérifier des propriétés d'ord...
Colloque avec actes et comité de lecture. nationale.National audienceLes systèmes réactifs temps rée...
International audienceAprès avoir introduit et proposé, dans des travaux précédents, un cadre formel...
International audienceLes simulations temporelles sont souvent utilisées pour étudier la performance...
Dans le contexte politique et économique actuel, les dispositifs à base d'électronique de puissance ...
Dans cet article, nous proposons d'évaluer la performance d'un simulateur immersif de travail en hau...
International audienceLes réseaux de Petri représentent un formalisme puissant et reconnu pour la mo...
Cette thèse a pour objet l'étude d'un environnement logiciel temps-réel distribué pour la simulation...
National audienceIl s'agira dans cet exposé de brosser le tableau des méthodes numériques de simulat...
National audienceRéduire la consommation énergétique -- composée des consommations dynamique et stat...
International audienceCet article est divisé en deux parties. La première partie porte sur un état d...
National audienceLa performance d'un système de production est plurielle et multidimensionnelle. Ell...