L’auto-stabilisation garantit qu’à la fin d’une période de fautes transitoires, un système réparti retrouve de lui-même un comportement correct en un temps fini. La spéculation consiste à garantir que le système soit correct pour toute exécution mais possède des performances significativement meilleures pour un sous-ensemble d’exécutions qui sont supposées plus probables. Un protocole spéculati...

ReactiveML est un langage dédié à la programmation de systèmes combinant des parties algorithmiques et réactives. Il s’agit d’une extension de ML avec des constructions pour la concurrence inspirées des langages synchrones. Celles-ci permettent d’obtenir une très grande expressivité, mais leur implantation efficace représente un défi. Dans cet article, nous présentons l’implantation de Reactive...

We show that the problem of deciding if there is a schedule of length three for the multiprocessor scheduling problem on identical machines and unit exécution time tasks in NPcomplete even for bipartite graphs, Le. for precedence graphs of depth one. This complexity res uit extends a classical result of Lenstra and Rinnoy Kan [5].

Nous présentons le noyau d’un langage explicitement parallèle et fonctionnel pur d’ordre supérieur CDS*. Il est basé sur des structures de données concrètes explicitement distribuées. Nous donnons un aperçu de la sémantique dénotationnelle, opérationnelle et d’une sémantique de réécriture qui la réalise. Des exemples illustrant l’expressivité du langage ainsi que la simulation de leur exécution...

Representation of temporal concepts impacts simulation models and their execution performances. Large-Scale Agent-based Simulations require resources that can be mainly found in distributed systems. We propose to extend our work on the Temporality model used to represent temporal concepts in our platform GEAMAS-NG. This enables us to parallelize simulation execution on a plaforms network while ...

Tous droits du producteur et du propriétaire de ce produit sont réservés. L’OCDE autorise la reproduction d’un seul exemplaire de ce programme pour usage personnel et non commercial uniquement. Sauf autorisation, la duplication, la location, le prêt, l’utilisation de ce produit pour exécution publique sont interdits. Ce programme, les données y afférantes et d’autres éléments doivent donc être ...

Le diagnostic actif est opéré par un contrôleur en vue de rendre un système diagnosticable. Afin d’éviter que le contrôleur ne dégrade trop fortement le système, on lui affecte généralement un second objectif en termes de qualité de service. Dans le cadre des systèmes probabilistes, une spécification possible consiste à assurer une probabilité positive qu’une exécution infinie soit correcte, ce...