Log In
New Account
  
 
Home
My Page
Project Tree
Code Snippets
Project Openings
          
 

Now limiting view to projects in the following categories:
      Development Status :: 4 - Beta [Remove This Filter]
      Operating System :: OS Independent [Remove This Filter]
      LIP research teams :: Arénaire (computer arithmetic) [Remove This Filter]


  Operating System
      OS Independent
Browse By::
  Development Status
  Environment
  Intended Audience
  License
  LIP research teams
  Natural Language
  Operating System
  Programming Language
  Topic

2 projects in result set.
1. 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 (Now Filtering)
  • Environment: Console (Text Based) [Filter]
  • Intended Audience: Developers [Filter]
  • License: GNU General Public License \(GPL\) [Filter]
  • LIP research teams: Arénaire \(computer arithmetic\) (Now Filtering)
  • Natural Language: English [Filter]
  • Operating System: OS Independent (Now Filtering)
  • Programming Language: C++ [Filter]
  • Topic: Scientific/Engineering [Filter]
Activity Percentile: 80.00
Activity Ranking: 2.00
Register Date: 2004-07-06 15:19

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

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment