THEMIS: A Tool for Decentralized Monitoring Algorithms - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

THEMIS: A Tool for Decentralized Monitoring Algorithms

Résumé

THEMIS is a tool to facilitate the design, development, and analysis of decentralized monitoring algorithms; developed using Java and AspectJ. It consists of a library and command-line tools. THEMIS provides an API, data structures and measures for decentralized monitoring. These building blocks can be reused or extended to modify existing algorithms, design new more intricate algorithms, and elaborate new approaches to assess existing algorithms. We illustrate the usage of THEMIS by comparing two variants of a monitoring algorithm.
Fichier principal
Vignette du fichier
themis-demo.pdf (411.2 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01653727 , version 1 (01-12-2017)

Identifiants

Citer

Antoine El-Hokayem, Yliès Falcone. THEMIS: A Tool for Decentralized Monitoring Algorithms. ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩. ⟨hal-01653727⟩
523 Consultations
307 Téléchargements

Altmetric

Partager

More