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

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

14 projet(s) trouvé(s).
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: 50.00
Activity Ranking: 3.00
Register Date: 06/07/2004 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.
 
Activity Percentile: 25.00
Activity Ranking: 4.00
Register Date: 10/05/2004 13:44

3. CP game models - To study how CP games can be used to model gene regulation networks.
 
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 05/05/2007 08:40

4. 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: 08/06/2007 13:30

5. SYNTOL - Syntol is a prototype scheduler for CRP, an extension of C in which one can define statically interconnected parallel processes.
 
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 05/04/2007 17:58

6. 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: 11/05/2006 17:00

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

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

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

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

11. PAPIER - PVS Automatic proofs for intervals and rationals
 
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 08/10/2004 13:47

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

13. 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\) [Filter]
  • Topic: Scientific/Engineering [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 18/06/2004 11:11

14. 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\) [Filter]
  • 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: 06/09/2005 14:24

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment