Software Map
Project Tree
Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]
Natural Language :: English [Remove This Filter]
Research center :: Rocquencourt [Remove This Filter]
Operating System :: MacOS [Remove This Filter]
|
Browse By: |
8 projects in result set.
CardioViz3D
- CardioViz3D is a software dedicated to cardiac data processing, assimilation and visualization. It is part of CardioSense3D, a Large Initiative Action (http://www-sop.inria.fr/CardioSense3D), and targets researchers as well as clinicians. | |
|
Activity Percentile: 41.00 Registered: 2007-03-21 14:03 |
PLASTIC Middleware Platform
- The PLASTIC project will design and implement a prototype of a service-oriented middleware supporting the PLASTIC methodology for service development (http://www.ist-plastic.fr). | |
|
Registered: 2007-03-05 10:36 |
SYNTAX
- Ensemble d'outils permettant la construction automatique d'analyseurs syntaxiques à partir de leur description grammaticale. Les formalismes reconnus vont des CFG (déterministes ou ambiguës) aux TAG, LFG, RCG, ... | |
|
Activity Percentile: 21.56 Registered: 2006-07-07 12:05 |
Datalift
- The Datalift platform aims at easing and automating publication of raw structured datasets on the Web of data. // La plateforme Datalift est un toolkit pour facilement et automatiquement publier des jeux de données structurés sur le Web des données. | |
|
Activity Percentile: 13.51 Registered: 2010-09-30 13:05 |
OpenEmbeDD
- OpenEmbeDD is an ANR project.
Its goal is to build an open-source platform for Model Driven Engineering of Real Time and embedded systems. | |
|
Activity Percentile: 8.77 Registered: 2006-10-18 11:29 |
RS development
- Logiciel pour l'isolation des racines réelles de systèmes algébriques.
Software for isolating the real roots of algebraic systems.
| |
|
Activity Percentile: 0.00 Registered: 2007-11-29 15:48 |
syndex_dspic_kernels
- Fault-tolerant SynDEx kernel for dsPIC33f with applications. | |
|
Activity Percentile: 0.00 Registered: 2010-12-17 14:35 |
Zenon (automated theorem prover)
- Automated theorem prover for first order logic with equality, based on the tableau method. | |
|
Activity Percentile: 0.00 Registered: 2014-11-06 09:33 |