Home My Page Projects

Project List

1027 projects in result set.
<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> <44> <45> <46> <47> <48> <49> <50> <51> <52>
Thesis - All Files from Loïc Fejoz's Ph'd thesis.

Register Date: 2007-01-29 09:19

The Tensor Toolkit - The Tensor Toolkit (TTK) is an extension of ITK (www.itk.org) to process diffusion tensor images and perform operations such as tensor estimation, smoothing, fiber tractography or statistical analysis.

Register Date: 2010-01-18 13:04

The Why platform - The Why platform is an environment for deductive verification of C and Java programs.

Register Date: 2007-10-18 11:50

Thread Management Framework - The Thread Management Framework (TMF) aims to control Threads allocation in an application. It allows to define groups of Threads (Areas), with a customized limit for each one.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-07-27 09:11

Timbuktu - Développement d'une extension de la complétion d'automates d'arbres pour vérifier des propriétés temporelles sur des programmes Java
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-10-28 10:58

TimeSquare - Time Square (http://timesquare.inria.fr) is a set of Eclipse plug-ins dedicated to the analysis of Timed systems with MARTE Time Model and CCSL. The UML Profile for MARTE (http://www.omgmarte.org) was adopted by the OMG in July 2009

Register Date: 2009-09-19 07:11

tinygb - Tinygb is a software for computing Gröbner bases. Its main goal is modularity rather than efficiency: the software is meant to be used as a research tool for the investigation of algorithms related to Gröbner bases.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-05-04 15:17

tiptop - Tiptop reads hardware performance counters and displays statistics about running processes, such as IPC, or cache misses. The statistics are shown in real time, in a way very similar to the "top" utility. More at http://tiptop.gforge.inria.fr.

Register Date: 2011-02-22 17:16

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 [DEPRECATED] - TLC: A Classical Coq Library with Typeclasses [DEPRECATED, now on gitlab]
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-03-05 07:12

Toccata - Shared resources for the Toccata research team, common to INRIA and LRI (Lab. de Recherche en Informatique)
This project has not yet categorized itself in the Trove Software Map
Register Date: 2012-10-01 12:38

Toktok - The Toktok project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)

Register Date: 2010-01-26 14:39

Tom - Tom is an extension of Java designed to manipulate tree structures and XML documents.

Register Date: 2005-09-09 14:00

Toolbox for Opacity - This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity.

Register Date: 2010-03-09 11:24

Tools and libraries for verification - This project contains various tools and libraries dedicated to static analysis and verification. The libraries are mostly dedicated to OCaml programmers.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-06-19 12:55

Tools for checking speech parameters - The goal of this project is to improve the calculation of prosodic parameters, for example by determining a confidence index on the calculation of the fundamental frequency, checking if automatic segmentation of speech is reliable, these tools will be based on the neural network use.

Register Date: 2016-10-21 08:21

totitatu - totitatu is a test project.

Register Date: 2013-05-13 09:40

TPCISedNcy - Formation à l'intégration continue organisée par le SED de Nancy Grand Est, sur la base du travail réalisé par le SED de Grenoble Rhône-Alpes
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-04-22 09:35

TPCISedRa - Formation aux tests et à l'intégration continue organisée par le SED de Grenoble Rhône-Alpes
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-09-08 14:44

TPCISedRen - Formation aux tests et à l'intégration continue organisée par le SED Rennes (sur la base de la formation proposée par le SED de Grenoble Rhône-Alpes).
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-11-15 15:09

1027 projects in result set.
<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> <44> <45> <46> <47> <48> <49> <50> <51> <52>