THEMIS: a tool for decentralized monitoring algorithms.
Antoine El-HokayemYliès FalconePublished in: ISSTA (2017)
Keyphrases
- computational complexity
- computational cost
- machine learning
- recently developed
- times faster
- case study
- data structure
- cooperative
- monitoring system
- real world
- orders of magnitude
- benchmark datasets
- association rules
- graph theory
- theoretical analysis
- worst case
- search algorithm
- decision making
- learning algorithm
- data mining