Home My Page Projects

Project List

1018 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>
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

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

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

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

TPCISedSaclay - Ce projet contient le code nécessaire pour les travaux pratiques à la formation à la plateforme d'intération continue.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-08-26 15:44

tp ecole adt sed lille - TP école ADT 2011 - SED Lille
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-09-20 07:48

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

TPRESTSEDRA - Formation à la 'RESTification' d'un programme ligne de commane organisée par le SED de Grenoble Rhône-Alpes
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-07-19 15:08

traduction Speech to Text - PAROLE@LORIA - MaParole is the speech translation system developped at INRIA PAROLE team. This project and associated source code and documentation shall remain private during early developpment stages but will be made public as soon as it reaches acceptable maturity.

Register Date: 2011-01-06 10:25

TRAHRHE - Trahrhe Expressions computation

Register Date: 2019-02-25 12:08

Transalpyne programming language suite - Transalpyne is a toolkit written in Python to transpose, interpret, compile and otherwise manipulate programs written in TransAL, the Transposable Algebraic Language.

Register Date: 2009-12-10 21:04

Transcend With SOS - A project related to my PhD thesis. The aim of the work is the certification of the lower and upper bounds of transcendental and semi-algebraic functions with COQ and external SOS solvers like SparsePOP, Gloptipoly, SDP libraries like CSDP or SDPA.

Register Date: 2012-01-08 22:29

1018 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>