Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Flocq Library
Flocq Library - Flocq Library
Date de dépôt : 01 janvier 1970

Responsable : BOLDO Sylvie




Pour en savoir plus: http://flocq.gforge.inria.fr/

Logiciel - Licence : LGPL



Activités de recherche
  Preuve de programme
  Arithmétique flottante

Membres
  BOLDO Sylvie
  MELQUIOND Guillaume

Equipe
  Vérification d'Algorithmes, Langages et Systèmes
Logiciels et brevets
TAXOMAP ALIGNMENT
Un outil d'alignement de taxonomies

BSP++
The C++ Bulk Synchronous Parallelism Library

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé