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

Now limiting view to projects in the following categories:
      LIP research teams :: Arénaire (computer arithmetic) [Remove This Filter]


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

9 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 [Filter]
  • 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 [Filter]
  • Programming Language: C++ [Filter]
  • Topic: Scientific/Engineering [Filter]
Activity Percentile: 80.00
Activity Ranking: 2.00
Register Date: 2004-07-06 15:19

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.
 
  • Development Status: 3 - Alpha [Filter]
  • Environment: Other Environment [Filter]
  • Intended Audience: Developers [Filter] , End Users/Desktop [Filter]
  • License: Other/Proprietary License [Filter]
  • LIP research teams: Arénaire \(computer arithmetic\) (Now Filtering)
  • Natural Language: English [Filter]
  • Operating System: Other OS [Filter]
  • Programming Language: C [Filter]
  • Topic: Mathematics [Filter] , Software Development [Filter]
Activity Percentile: 40.00
Activity Ranking: 4.00
Register Date: 2004-05-10 13:44

3. 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\) (Now Filtering)
  • 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: 2005-03-04 12:55

4. 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\) (Now Filtering)
  • 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: 2004-05-03 14:49

5. 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\) (Now Filtering)
  • 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: 2004-08-31 11:18

6. PAPIER - PVS Automatic proofs for intervals and rationals
 
  • Development Status: 1 - Planning [Filter]
  • Intended Audience: Developers [Filter]
  • License: CeCILL [Filter]
  • LIP research teams: Arénaire \(computer arithmetic\) (Now Filtering)
  • Operating System: Linux [Filter]
  • Topic: Mathematics [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-10-08 13:47

7. Moduli - Algorithms and circuit implementations of modular reduction algorithms.
 
  • Development Status: 4 - Beta [Filter]
  • Intended Audience: Developers [Filter] , End Users/Desktop [Filter]
  • LIP research teams: Arénaire \(computer arithmetic\) (Now Filtering)
  • Natural Language: English [Filter]
  • Programming Language: C [Filter]
  • Topic: Scientific/Engineering [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-11-25 01:04

8. ROXANE - The purpose of this project is to mutualise the efforts on specific libraries in computer algebra that are done in different groups and to provide a common environment and dedicated tools.
 
  • Intended Audience: Developers [Filter] , End Users/Desktop [Filter]
  • LIP research teams: Arénaire \(computer arithmetic\) (Now Filtering)
  • Topic: Scientific/Engineering [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-06-18 11:11

9. Reconfigurable Hash operators - The goal of this project is to analyze the existing hash algorithms from an arithmetic and architectural point of view, in order to implement a few of them, sharing some computational units, on a reconfigurable architecture.
 
  • Intended Audience: Developers [Filter]
  • LIP research teams: Arénaire \(computer arithmetic\) (Now Filtering)
  • Natural Language: English [Filter]
  • Operating System: OS Independent [Filter]
  • Programming Language: C [Filter]
  • Topic: Cryptography [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2005-09-06 14:24

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment