Home My Page Projects

Project List

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

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

TransGC - The goal of the TransGC project is to provide a new set of garbage collectors able to manage efficiently both non-uniform memory accesses by optimizing memory placement, and large core count by using a transactional memory.

Register Date: 2013-02-19 12:54

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

TransforMesh, MeshHOG, MVViewer - This repository hosts the following projects: TransforMesh - a self-intersection removal solution for triangular Meshes; MeshHOG - a 3-D mesh descriptor for triangular meshes; MVViewer - Multiple Camera and Mesh Viewer.

Register Date: 2006-12-22 13:37

Transformation - Goupe Transformation du GDR GPL
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-04-06 11:53

Transmorpher - Transmorpher is a software environment for defining and processing complex transformations of XML documents.

Register Date: 2005-10-13 11:50

TreeCrf - Annotation d'arbres XML par des techniques de champs conditionnels aléatoires (CRF)

Register Date: 2006-02-01 17:29

Triva - TRIVA is a tool that is used to analyze traces (in the pajé format) registered during the execution of parallel applications. The tool serves also as a sandbox to the development of new visualization techniques.

Register Date: 2008-03-19 15:00

UFO - Ce projet concerne la simulation et l’optimisation d'écoulements en présence d'incertitudes dans les données ou les modèles.

Register Date: 2011-11-28 17:36

UMCTool - UMCTool fills the gap between acquiring information about a platform using monitoring tools and perform realistic simulation in giving a way to aggregate/modify/manipulate those informations and translate them into SimGrid platform description language.

Register Date: 2009-05-07 09:26

Ubuntu config inrialpes - Script to configure an ubuntu with the inrialpes network. (LDAP, mount homedir/www/softs, install printers, SSH server) Check-out the branch corresponding to your ubuntu version and read README file. svn checkout --username login https://scm.gforge.inria.fr/svn/ubuntuinrialpes/branches/14.04/ubuntu-config-inrialpes Feel free to improve it!

Register Date: 2012-09-07 15:21

Utilities for Language Engineering - PaULE (Passage Utilities for Language Engineering) is a toolkit performing pre-processings on an input tree-based grammar in order to facilitate parsing (e.g. polarity-based filtering of the grammatical structures).

Register Date: 2008-06-16 08:22

Utility classes/functions OpenGL (mini) - This a miniature version of LibSL. The actual version can be found in https://gforge.inria.fr/projects/libsl/ This version is open to any everyone including users who do not have a Gforge account.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2013-09-06 14:57

VAMPIRE - Componsant public du projet ANR VAMPIRE
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-02-05 08:29

VERCORS - VERification of models for distributed communicating COmponents, with safety and Security. State-of-art strong formal semantics and model checking tools are integrated in a development environment, used by non-specialists.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2005-12-08 17:34

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