Home My Page Projects

Software Map

770 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15> <16> <17> <18> <19> <20> <21> <22> <23> <24> <25> <26> <27> <28> <29> <30> <31> <32> <33> <34> <35> <36> <37> <38> <39>

+CAL 2.0 - +CAL is an language allowing to easily express algorithms. Once specified in +CAL, algorithms can be translated to the TLA+ formalism in order to get model-checked by the TLC tool. +CAL 2.0 introduce distributed computing concepts to +CAL.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-12-21 10:32

6lowpan Test Platform - A lib for running 6lowpan tests in TTCN-3 (including type definitions, codecs & adapters)

Register Date: 2012-05-22 14:59

A Smart Scheduler for Virtual Marchines - SVMSched is a VM orchestrator enabling to set up on-demand- SaaS and PaaS clouds. Relying currently on OpenNebula, it allows to schedule requests through "Smart Virtual Machines" that allow to configure execution environments automatically.

Register Date: 2010-06-04 08:10

A Virtual Topology for Ad Hoc Networks - This project implements OPNET models: a virtual topology for ad hoc networks is built and maintained. Other models allow routing in ad hoc (with a tradeoff between reactive and proactive) or hybrid networks (with the adaptation of Cellular IP).

Register Date: 2005-10-11 16:41

ACGR - Approach for Candidate Gene Retrieval
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-03-09 13:52

ADAGE - ADAGE is a prototype middleware designed to automatically launch distributed or parallel applications on the resources of a computational grid.

Register Date: 2006-01-25 13:06

ADAM Incubator - The purpose of this project is to host the experimental demonstrators in relation with research papers, articles, and projects, that are being incubated by the ADAM project-team.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-07-03 20:24

ADFG-tool - Automatic safety-critical Java code generation from dataflow specifications
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-09-20 16:40

ADT Galaxy - Galaxy, An Open Framework for Agile and Dynamic Software Architecture.

Register Date: 2008-07-04 09:41

ALIGNE - Le projet a pour but de developper un systeme semi-automatique d'aide a l'analyse syntaxique de transcriptions automatiques

Register Date: 2008-02-01 15:15

ALPAGE Linguistic Workbench - ALPAGE Linguistic workbench provides various components to setup and exploit a Linguistic Processing Chain, in particular for French.

Register Date: 2006-09-15 12:55

ANR-NOSSI - New simulation tools for large scale modelling of hybrid materials

Register Date: 2008-02-18 14:04

APRON - APRON numerical domain library and extensions
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-02-25 09:29

ARC Coinc - l'ARC Coinc concerne les problemes algorithmiques du Network Calculus. un programme de calcul reposant sur des algorithmes efficaces sera produit au cours de ce projet. Des problemes de calculs dans des reseaux multiflots seront egalement abordes.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2006-11-20 09:39

ARCAdE - ARCAdE (Aspect oRiented Constrint progrAmming Environment) helps to define constraint programming problems. Constraints of the problem are contained in some aspects that can be weaved to improve reusability of sub problems.

Register Date: 2011-02-25 12:24

AROMA - AROMA is an hybrid, extensional and asymmetric matching method designed to find out relations (equivalence and subsumption) between entities issued from two OWL ontologies
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-06-26 08:25

ASCQ-ME - ASCQ-ME est un nouvel outil pour faire de l'identification de protéines par PMF. Un de ses principaux atouts est l'utilisation directe de spectres MS bruts sans extraction des pics mono isotopiques.

Register Date: 2006-01-17 09:52

ASTER - ASTER will develop and implement methods to improve the simulation of MHD instabilities (Edge Localized Mode) that are needed to evaluate mechanisms to control the energy losses observed in the standard tokamak operating scenario (ITER).
This project has not yet categorized itself in the Trove Software Map


Register Date: 2006-12-12 16:29

ATWUEDA - ATWUEDA stands for Axis Tool for Web Usage Evolving Data Analysis. It was originated from the PhD (2005-2009) work of Ms. Alzennyr DA SILVA and was developed in the project AxIS of INRIA under the supervision of Yves LECHEVALLIER.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-08-26 14:50

AVIsogenies - Magma package for explicit isogenies computation.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-06-17 20:44

770 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15> <16> <17> <18> <19> <20> <21> <22> <23> <24> <25> <26> <27> <28> <29> <30> <31> <32> <33> <34> <35> <36> <37> <38> <39>