Home My Page Projects

Project List

839 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> <40> <41> <42>
StarPU-text - Articles, reports related to StarPU
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-04-02 13:08

Stateful SIP Firewall - SECSIP is an open source (GPL) stateful firewall targeted to the SIP protocol. It relies on a rule-based language to detect SIP attacks and vulnerabilities. SECSIP is developed by the Madynes Team located at INRIA Nancy-Grand Est.

Register Date: 2008-06-30 15:00

StatisticalHumanBody - Logiciel qui permettra d'automatiser les analyses statistiques à partir des maillages 3D de corps humain obtenus à partir d'IRM
This project has not yet categorized itself in the Trove Software Map


Register Date: 2014-12-01 16:38

Supervised breakpoint detection - Supervised breakpoint detection

Register Date: 2011-07-22 17:08

Sémagramme - Regroupement des projets publics de l'équipe Sémagramme

Register Date: 2011-06-15 08:03

T3DevKit - T3DevKit is a set of libraries and tools for TTCN-3 automatic CoDec generation and adaptors (SA and TA) easy and quick development.

Register Date: 2006-11-21 09:06

TEFIS - TEFIS: a single access point to different testing and experimental facilities.

Register Date: 2010-09-17 09:46

TEWEP - Simulator of the dynamics of Transposable Elements Within Expanding Populations
This project has not yet categorized itself in the Trove Software Map


Register Date: 2014-12-16 16:08

TLA+ tools - The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language.

Register Date: 2009-09-21 09:47

TLC: A Classical Coq Library - TLC: A Classical Coq Library with Typeclasses
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-03-05 07:12

TPLib - TPLib is a library manipulating tropical polyhedra. It allows to compute the vertices of tropical polyhedra given by half-spaces, and conversely. It also provides an abstract domain based on tropical polyhedra, inferring min-/max-invariants over programs.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-04-04 14:46

TRANUS Grenoble Model - TRANUS Model for Grenoble.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-06-06 07:42

TakTuk - Taktuk is a library for efficient large scale deployment of remote executions. The development is headed by the MOAIS INRIA project. The tool is used as a launcher in the KAAPI library and as an administration tool on Grid5000 INRIA platform.

Register Date: 2006-02-17 09:39

TakeMat - TakeMat is a recommendation tool of best matcher. From some reference alignments, alignments provided by matchers TakeMat learns a prediction model for selecting the best matcher for a given alignement problem.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-11-02 14:41

Taxi - Taxi is the software framework for CyberCars on which the Imara team is working.

Register Date: 2006-08-28 09:29

Teaching at ENS Rennes - sharing resources for teaching at ENS Rennes
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-02-16 15:36

Teddy - My own stuff
This project has not yet categorized itself in the Trove Software Map


Register Date: 2015-01-09 12:38

Telex2 - A communication infrastructure for collaborative, nomadic applications.

Register Date: 2007-04-10 16:13

Temporal Constraint Network Solver - Ce projet propose un solveur temporel sur des réseaux de contraintes. Nous mettons en place des structures de données ainsi que des optimisations algorithmiques pour trouver, de manière efficace, une ou des solutions possibles de ce réseau de contraintes.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2006-09-28 06:53

TestProject - This is just a test project to see how administration of a project works
This project has not yet categorized itself in the Trove Software Map


Register Date: 2013-05-15 12:53

839 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> <40> <41> <42>