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

  License
      OSI Approved
          GNU General Public License \(GPL\)
Browse By::
  Development Status
  Environment
  Intended Audience
  License
  LIP research teams
  Natural Language
  Operating System
  Programming Language
  Topic

10 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\) [Filter]
  • 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. MetroGrid - This project will provide a metrology platform for Grid5000, to analyse network trafic in grid environment. It will allow to check grid network trafic characteristics, and to analyse experiments flows comportment.
 
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2007-06-08 13:30

3. Théorie de la Démonstration - CR 07/08 - Partage de documents du cours de recherche "Théorie de la démonstration" M2 ENS Lyon - 2007-08
 
  • Development Status: 1 - Planning [Filter]
  • Intended Audience: Other Audience [Filter]
  • License: GNU General Public License \(GPL\) [Filter]
  • LIP research teams: PLUME [Filter]
  • Operating System: OS Independent [Filter]
  • Topic: Education [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2007-05-25 10:56

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

5. GRN Simulator - GRN Simulator est un simulateur de l'évolution de réseaux génétiques au cours du temps. L'objectif est de simuler des évolutions (modélisées de façon déterministe et stochastique) indépendamment de la topologie des réseaux.
 
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2006-05-11 17:00

6. 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: 2005-03-04 12:55

7. 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: 2004-05-03 14:49

8. 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: 2004-08-31 11:18

9. 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: 2004-05-10 15:41

10. Ugh: version Compsys - Archive CVS pour Compsys du logiciel UGH développé au LIP6.
 
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2005-10-28 18:59

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment