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

Vue restreinte aux projets des catégories suivantes:
      Environment :: Console (Text Based) [Supprimer ce filtre]


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

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

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

3. 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) (Now Filtering)
  • Intended Audience: Developers [Filter]
  • 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

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

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment