From Algorithmique Distribuée

Main: Software

Vizroute: analysis and simulation of routing schemes

Visidia: visualisation of distributed algorithms

Simulations of Self-Stabilizing Algorithms.

RDA: A Coq Library on Randomised Distributed Algorithms.

JBotSim: prototyping library for distributed algorithms in dynamic networks

Récupéré sur http://algodist.labri.fr/index.php/Main/Logiciels
Page mise à jour le 28 février 2018 à 14h28