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

Vue restreinte aux projets des catégories suivantes:
      Intended Audience :: Developers [Supprimer ce filtre]


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

13 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 (Now Filtering)
  • 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: 06/07/2004 15:19

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

3. 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 (Now Filtering) , 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

4. FPLibrary - Portable VHDL library of parameterizable arithmetic operators for floating-point and logarithmic number systems.
 
  • Development Status: 4 - Beta [Filter]
  • Intended Audience: Developers (Now Filtering)
  • 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

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 (Now Filtering)
  • 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

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.
 
  • Development Status: 2 - Pre-Alpha [Filter]
  • Intended Audience: Developers (Now Filtering)
  • 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: 11/05/2006 17:00

7. SYNTOL - Syntol is a prototype scheduler for CRP, an extension of C in which one can define statically interconnected parallel processes.
 
  • Development Status: 3 - Alpha [Filter]
  • Environment: Console (Text Based) [Filter]
  • Intended Audience: Developers (Now Filtering)
  • License: CeCILL [Filter]
  • LIP research teams: Compsys [Filter]
  • Natural Language: English [Filter]
  • Operating System: Linux [Filter]
  • Programming Language: Other [Filter]
  • Topic: Compilers [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 05/04/2007 17:58

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

9. CP game models - To study how CP games can be used to model gene regulation networks.
 
  • Intended Audience: Developers (Now Filtering)
  • LIP research teams: PLUME [Filter]
  • Natural Language: English [Filter]
  • Topic: Simulation [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 05/05/2007 08:40

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

11. 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 (Now Filtering)
  • 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

12. 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 (Now Filtering) , 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

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

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment