S'identifier
Nouveau compte
  
 
Accueil
Ma page
Arbre des projets
Boite à outils
Demande d'aide
          
 

  Topic
      Scientific/Engineering
          Mathematics
Afficher par :
  Development Status
  Environment
  Intended Audience
  License
  LIP research teams
  Natural Language
  Operating System
  Programming Language
  Topic

5 projet(s) trouvé(s).
1. Correctly Rounded Math Library - The purpose of this project is to offer a mathematical library (libm) with proven, IEEE-754 compliant, correct rounding in the four rounding modes, and performances comparable to standard libms.
 
  • Development Status: 4 - Beta [Filter]
  • License: GNU Lesser General Public License \(LGPL\) [Filter]
  • LIP research teams: Arénaire \(computer arithmetic\) [Filter]
  • Programming Language: C [Filter]
  • Topic: Mathematics [Filter] , Operating System Kernels [Filter]
Activity Percentile: 100.00
Activity Ranking: 1.00
Register Date: 06/04/2004 18:13

2. FLIP - FLIP (Floating-Point Library for Integer Processors) is a C library for software support of single precision floating-point (FP) arithmetic on processors without FP hardware units such as VLIW or DSP processor cores for embedded applications.
 
Activity Percentile: 25.00
Activity Ranking: 4.00
Register Date: 10/05/2004 13:44

3. Optimized extraction from proofs - Optimized extraction from proofs
 
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 23/04/2007 16:44

4. PAPIER - PVS Automatic proofs for intervals and rationals
 
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 08/10/2004 13:47

5. Constant Matrix Multiplication Optimizer - Un outil pour l'optimisation d'algoithme de multiplication par des matrices constantes, à base d'additions/soustractions et de décalages.
 
  • Development Status: 2 - Pre-Alpha [Filter]
  • Environment: Console (Text Based) [Filter]
  • Intended Audience: End Users/Desktop [Filter]
  • License: GNU General Public License \(GPL\) [Filter]
  • LIP research teams: Arénaire \(computer arithmetic\) [Filter]
  • Natural Language: English [Filter]
  • Operating System: Linux [Filter]
  • Programming Language: C++ [Filter]
  • Topic: Mathematics [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 10/05/2004 15:41

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment