Software

Historique de Main.Logiciels

Cacher les modifications mineures - Affichage de la sortie

13 juin 2017 à 10h03 par 2001:660:6101:403::1:116 -
Lignes 10-11 modifiées:
[[http://www.allyxfontaine.com/rda|RDA]] une bibliothèque en Coq pour les algorithmes distribués probabilistes.
en:
[[http://www.allyxfontaine.com/rda|RDA:]] une bibliothèque en Coq pour les algorithmes distribués probabilistes.
Ligne 21 modifiée:
[[http://www.allyxfontaine.com/rda|RDA]] A Coq Library on Randomised Distributed Algorithms.
en:
[[http://www.allyxfontaine.com/rda|RDA:]] A Coq Library on Randomised Distributed Algorithms.
13 juin 2017 à 10h02 par 2001:660:6101:403::1:116 -
Lignes 10-11 ajoutées:
[[http://www.allyxfontaine.com/rda|RDA]] une bibliothèque en Coq pour les algorithmes distribués probabilistes.
Lignes 20-21 ajoutées:

[[http://www.allyxfontaine.com/rda|RDA]] A Coq Library on Randomised Distributed Algorithms.
15 janvier 2015 à 09h00 par 2001:660:6101:402:8a51:fbff:fe62:aec8 -
Lignes 4-7 ajoutées:
[[http://vizroute.gforge.inria.fr/|Vizroute]]: analyse et simulation de schémas de routage

[[http://visidia.labri.fr/html/home.html|Visidia]]: visualisation d'algorithmes distribués

Lignes 13-14 modifiées:
[[http://vizroute.gforge.inria.fr/|Vizroute]]: analyse et simulation de schémas de routage
[[http://visidia.labri.fr/html/home.html|Visidia]]: visualisation d'algorithmes distribués
en:
[[http://vizroute.gforge.inria.fr/|Vizroute]]: analysis and  simulation of routing schemes

[[http://visidia.labri.fr/html/home.html|Visidia]]: visualisation  of distributed algorithms
15 janvier 2015 à 08h58 par 2001:660:6101:402:8a51:fbff:fe62:aec8 -
15 janvier 2015 à 08h57 par 2001:660:6101:402:8a51:fbff:fe62:aec8 -
Lignes 9-10 modifiées:
en:
[[http://vizroute.gforge.inria.fr/|Vizroute]]: analyse et simulation de schémas de routage
[[http://visidia.labri.fr/html/home.html|Visidia]]: visualisation d'algorithmes distribués
02 octobre 2012 à 22h01 par 128.100.216.61 -
Ligne 4 modifiée:
[[http://www.labri.fr/perso/johnen/simulation.html|Simulations]] d'algorithmes ''auto-stabilisants''.
en:
[[http://www.labri.fr/perso/johnen/simulation.html|Simulations]] d'algorithmes '''auto-stabilisants'''.
02 octobre 2012 à 22h01 par 128.100.216.61 -
Lignes 4-5 modifiées:
[[http://www.labri.fr/perso/johnen/simulation.html|Simulations]] Algorithmes ""auto-stabilisants"".
en:
[[http://www.labri.fr/perso/johnen/simulation.html|Simulations]] d'algorithmes ''auto-stabilisants''.
Ligne 10 modifiée:
[[http://www.labri.fr/perso/johnen/simulation.html|Simulations]] ""Self-Stabilizing"" Algorithms.
en:
[[http://www.labri.fr/perso/johnen/simulation.html|Simulations]]  of '''Self-Stabilizing''' Algorithms.
02 octobre 2012 à 22h00 par 128.100.216.61 -
Lignes 4-5 modifiées:
[[http://www.labri.fr/perso/johnen/simulation.html|Simulations]] Algorithms auto-stabilisants
en:
[[http://www.labri.fr/perso/johnen/simulation.html|Simulations]] Algorithmes ""auto-stabilisants"".
Lignes 9-10 ajoutées:

[[http://www.labri.fr/perso/johnen/simulation.html|Simulations]] ""Self-Stabilizing"" Algorithms.
02 octobre 2012 à 21h56 par 128.100.216.61 -
Ligne 4 modifiée:
[[http://www.labri.fr/perso/johnen/simulation.html|Simulations] Algorithms auto-stabilisants
en:
[[http://www.labri.fr/perso/johnen/simulation.html|Simulations]] Algorithms auto-stabilisants
02 octobre 2012 à 21h55 par 128.100.216.61 -
Lignes 3-4 ajoutées:

[[http://www.labri.fr/perso/johnen/simulation.html|Simulations] Algorithms auto-stabilisants
02 octobre 2012 à 14h53 par 147.210.128.228 -
Lignes 1-8 ajoutées:
(:if userlang fr:)
(:title Logiciels:)

(:if userlang en:)
(:title Software:)


(:if:)

Français English

Jobs

Group

GT

Positions

edit SideBar

Blix theme adapted by David Gilbert, powered by PmWiki