Software

Historique de Main.Logiciels

Cacher les modifications mineures - Affichage du code

13 juin 2017 à 10h03 par 2001:660:6101:403::1:116 -
Lignes 10-11 modifiées:

RDA une bibliothèque en Coq pour les algorithmes distribués probabilistes.

en:

RDA: une bibliothèque en Coq pour les algorithmes distribués probabilistes.

Ligne 21 modifiée:

RDA A Coq Library on Randomised Distributed Algorithms.

en:

RDA: A Coq Library on Randomised Distributed Algorithms.

13 juin 2017 à 10h02 par 2001:660:6101:403::1:116 -
Lignes 10-11 ajoutées:

RDA une bibliothèque en Coq pour les algorithmes distribués probabilistes.

Lignes 20-21 ajoutées:

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:

Vizroute: analyse et simulation de schémas de routage

Visidia: visualisation d'algorithmes distribués

Lignes 13-14 modifiées:

Vizroute: analyse et simulation de schémas de routage Visidia: visualisation d'algorithmes distribués

en:

Vizroute: analysis and simulation of routing schemes

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:

Vizroute: analyse et simulation de schémas de routage Visidia: visualisation d'algorithmes distribués

02 octobre 2012 à 22h01 par 128.100.216.61 -
Ligne 4 modifiée:

Simulations d'algorithmes auto-stabilisants.

en:

Simulations d'algorithmes auto-stabilisants.

02 octobre 2012 à 22h01 par 128.100.216.61 -
Lignes 4-5 modifiées:

Simulations Algorithmes ""auto-stabilisants"".

en:

Simulations d'algorithmes auto-stabilisants.

Ligne 10 modifiée:

Simulations ""Self-Stabilizing"" Algorithms.

en:

Simulations of Self-Stabilizing Algorithms.

02 octobre 2012 à 22h00 par 128.100.216.61 -
Lignes 4-5 modifiées:

Simulations Algorithms auto-stabilisants

en:

Simulations Algorithmes ""auto-stabilisants"".

Lignes 9-10 ajoutées:

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:

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