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

  Development Status
      4 - Beta
Afficher par :
  Development Status
  Environment
  Intended Audience
  License
  LIP research teams
  Natural Language
  Operating System
  Programming Language
  Topic

6 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. Gappa - Gappa - Génération automatique de preuves de propriétés arithmétiques (pour des programmes effectuant des calculs flottants)
 
  • Development Status: 4 - Beta [Filter]
  • Environment: Console (Text Based) [Filter]
  • Intended Audience: Developers [Filter]
  • License: GNU General Public License \(GPL\) [Filter]
  • LIP research teams: Arénaire \(computer arithmetic\) [Filter]
  • Natural Language: English [Filter]
  • Operating System: OS Independent [Filter]
  • Programming Language: C++ [Filter]
  • Topic: Scientific/Engineering [Filter]
Activity Percentile: 60.00
Activity Ranking: 3.00
Register Date: 06/07/2004 15:19

3. Divgen - Divgen is a divider generator. It generates synthesizable VHDL descriptions of division units. Various algorithms, representations, radices, and parameters are supported.
 
  • Development Status: 4 - Beta [Filter]
  • Environment: Console (Text Based) [Filter]
  • Intended Audience: Developers [Filter] , 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: Electronic Design Automation (EDA) [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 31/08/2004 11:18

4. Higher-Order Table-Based method - VHDL generator for function evaluation operators using the Higher-Order Table-Based Method (HOTBM).
 
  • Development Status: 4 - Beta [Filter]
  • Environment: Console (Text Based) [Filter]
  • Intended Audience: Developers [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: Electronic Design Automation (EDA) [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 04/03/2005 12:55

5. FPLibrary - Portable VHDL library of parameterizable arithmetic operators for floating-point and logarithmic number systems.
 
  • Development Status: 4 - Beta [Filter]
  • Intended Audience: Developers [Filter]
  • License: GNU General Public License \(GPL\) [Filter]
  • LIP research teams: Arénaire \(computer arithmetic\) [Filter]
  • Natural Language: English [Filter]
  • Operating System: OS Independent [Filter]
  • Topic: Electronic Design Automation (EDA) [Filter] , Hardware [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 03/05/2004 14:49

6. Moduli - Algorithms and circuit implementations of modular reduction algorithms.
 
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 25/11/2004 01:04

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment