LipForge:Software Map

Log In
New Account

Home

License

OSI Approved

GNU General Public License \(GPL\)

Browse By::

License

10 projects in result set.

1. 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.

Development Status: 2 - Pre-Alpha [Filter]
Environment: Console (Text Based) [Filter] , Web Environment [Filter]
Intended Audience: Developers [Filter]
License: GNU General Public License \(GPL\) [Filter]
LIP research teams: RESO [Filter]
Natural Language: English [Filter] , French [Filter]
Operating System: Linux [Filter]
Programming Language: C [Filter] , PHP [Filter]
Topic: Monitoring [Filter]

Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2007-06-08 13:30

2. 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

3. Optimized extraction from proofs - Optimized extraction from proofs
Intended Audience: Other Audience [Filter] License: GNU General Public License \(GPL\) [Filter] LIP research teams: PLUME [Filter] Natural Language: English [Filter] Programming Language: ML [Filter] , Scheme [Filter] Topic: Mathematics [Filter]	Activity Percentile: 0.00 Activity Ranking: 0.00 Register Date: 2007-04-23 16:44

4. 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.
Development Status: 2 - Pre-Alpha [Filter] Intended Audience: Developers [Filter] License: GNU General Public License \(GPL\) [Filter] LIP research teams: MC2 [Filter] Natural Language: French [Filter] Programming Language: C [Filter] Topic: Bio-Informatics [Filter]	Activity Percentile: 0.00 Activity Ranking: 0.00 Register Date: 2006-05-11 17:00

5. 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

6. 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

7. 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

8. 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: 0.00 Activity Ranking: 0.00 Register Date: 2004-07-06 15:19

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.
Development Status: 3 - Alpha [Filter] Environment: Console (Text Based) [Filter] Intended Audience: Developers [Filter] License: GNU General Public License \(GPL\) [Filter] LIP research teams: Compsys [Filter] Natural Language: English [Filter] Operating System: Linux [Filter] Programming Language: C [Filter] Topic: Compilers [Filter]	Activity Percentile: 0.00 Activity Ranking: 0.00 Register Date: 2005-10-28 18:59

Powered By GForge Collaborative Development Environment