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>

Rewriting Calculus - The rho-calculus is a framework that uniformly integrates rewriting and lambda calculus. The rho-calculus is designed and used for logical and semantical purposes. It could be used for expressing the semantics of rule based and object oriented paradigms.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2006-08-31 12:35

Rewriting Engines Competition - The goal of this projet is to allow a cooperative development of a test suite for Rewriting Engines.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2008-03-20 13:27

Robot suiveur de ligne IUT1 - Robot suiveur de ligne (coupe inter IUT)
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-01-27 21:21

RobustRWP - In this project, we investigate the round weighting problem with robustness, developping algorithms under demand uncertainty.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-08-07 13:32

Roots - Roots is a annotated sequential data management toolkit. It contains a C++ library, its Perl binding, and scripts for quick basic operations. See http://roots-toolkit.gforge.inria.fr for a quick presentation, tutorials and the API documentation.

Register Date: 2013-10-24 15:23

Rover - Le Rover est un robot à 6 roues, dont 4 roues motrices et directrices, qui sert de plateforme de développement d'applications robotique. Ce projet vise à partager et faire évoluer le code source embarqué sur le robot.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-02-09 13:49

SAMOVAR - SAMOVAR is a simulation framework for wireless sensors and actuators networks (WSAN). It is based on Matlab/Simulink and the TrueTime toolbox.

Register Date: 2011-12-02 14:55

SFINCS - ANR Sesur SFINCS (Securing Flow of INformation for Computing pervasive Systems)
This project has not yet categorized itself in the Trove Software Map


Register Date: 2008-03-19 13:52

SGVisual - SGVisual aims to manage and ease the developement of experiments based on the SimGrid toolkit, by providing tools for documentation, compiling and executing projects, easy edition of the platform description, Chord demo...

Register Date: 2011-03-04 09:40

SIP-dataset - SIP-dataset is a labeled data-set dedicated to the evaluation of specific intrusion and anomaly detection algorithms in the context of VoIP/SIP enterprises.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-05-19 12:26

SLA - SLA est une librairie C++ visant à offrir un framework souple et efficace pour la manipulation de matrices structurées. Nous y implémentons des algorithmes quasi-linéaires pour l'inversion de matrices structurés avec un petit rang de déplacement.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-01-05 17:06

SMSOA-Security Meta-Services Orch. Arch. - SMSOA (Security Meta-Services Orchestration Architecture) is an architectural framework that consists of security meta-services and a central service used for the orchestration of the security services..

Register Date: 2009-11-03 11:23

SOA4All fDSB - fDSB is a ProActive/GCM component-based layer that allows independent distributed service buses (DSBs) to be federated to form an Internet wide federation of DSBs (the SOA4All fDSB). This code is developped as part of the European SOA4ALL project.

Register Date: 2011-01-20 08:44

SODIAC - SODIAC stands for SOftware DIstribution Analysis Chain. Documentation is available on the wiki: http://gforge.inria.fr/plugins/wiki/index.php?id=929&type=g

Register Date: 2007-09-06 20:42

SOFA - SOFA is an Open Source framework primarily targeted at real-time simulation, with an emphasis on medical simulation.

Register Date: 2007-02-26 14:06

SOFA (git scm) - SOFA is an Open Source framework primarily targeted at real-time simulation, with an emphasis on medical simulation.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2013-12-20 09:21

SOLEIL - Solver for integral equations by collocation methods

Register Date: 2011-03-24 16:48

SOLSTICE - --- High performance solvers for large scale scientific simulations ---

Register Date: 2007-01-21 17:22

SPAMS - devel - SPArse Modelling Software (SPAMS) is an optimization toolbox for solving various sparse estimation problems.

Register Date: 2012-03-13 06:56

SPARQL document generation - We propose an extension to SPARQL that allows to generate any kind of XML documents from RDF data and a given XML template. Thanks to this extension, an XML template can itself contain queries that can import template instances.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2008-04-23 08:26

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>