Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Coq.FP2
Coq.FP2 - Coq.FP2


Person in charge : BOLDO Sylvie




More information: http://lipforge.ens-lyon.fr/www/pff/





Research activities
  Program proof
  Floating-point arithmetic

Members
  BOLDO Sylvie

Group
  Verification of Algorithms, Languages and Systems
Software & patents
TAXOMAP ALIGNMENT
A prototype to automate semantic mappings between 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é