Home My Page Projects

Project List

847 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> <43>
Solipsis - Solipsis is an opensource decentralized Metaverse platform.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-09-12 18:51

Sollya - Sollya is a tool environment for safe floating-point code development. It is particularily targeted to the automatized implementation of libms. Amongst other features, it offers a certified infinite norm and a fast Remez algorithm.

Register Date: 2007-10-26 12:00

Spoon - Spoon enables you to transform and analyze source code. See http://spoon.gforge.inria.fr/

Register Date: 2005-09-01 09:30

Srijan: WSN Macroprogramming Toolkit - Srijan allows developers to specify their sensor network applications in a graphical manner as a task graph, and then compile it down to node-level code for each constituent in the system.

Register Date: 2009-05-15 08:14

StarPU - StarPU is a unified runtime system that offers support for heterogeneous multicore architectures (GPGPUs, IBM Cell, ...).

Register Date: 2008-10-30 23:47

StarPU+Simgrid - Using SimGrid to simulate StarPU runtime on various heterogenous platforms
This project has not yet categorized itself in the Trove Software Map


Register Date: 2014-09-08 09:27

StarPU-Examples - This project provides a set of examples and benchmarks for the StarPU runtime system.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-03-30 10:11

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

847 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> <43>