Home My Page Projects

Project List

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

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

Register Date: 2006-02-01 17:29

treedoc-src - • Implementing the treedoc algorithm (see INRIA Tech Report RR-6320)
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-08-14 15:33

TreeMatch - MPI process placement can play a deterministic role concerning the application performance. In this project we work on a novel algorithm called TreeMatch that maps processes to resources.

Register Date: 2010-09-15 07:43

TreeMatchLB - Communication-aware load balancing algorithm for Charm++ with TreeMatch

Register Date: 2015-05-21 08:19

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

Tweaks OTR - Cryptanalyse des tweaks d'OTR
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-02-17 12:18

Typex - Types for XML

Register Date: 2012-09-07 13:01

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

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

Vahine - VAHINE “Visualization and analysis of multi-dimensional hyperspectral images in Astrophysics” aims at developing physical and mathematical models, algorithms, and software for planetary data and other kind of large hyperspectral dataset.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-09-26 10:09

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

Vamp - Protocol anonymity checker - VAMP (Verification d'Anonymat Modélisé en Pi-Calcul) is a software for testing protocol's anonymity using the probabilistic pi-calculus model
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-06-08 13:16

vep - Virtual Execution Platform (VEP) is a cloud middleware software that interfaces multiple Infrastructure as a Service (IaaS) clouds and presents end-users with an interface facilitating ease of deployment and application life cycle management of distributed applications made up of several inter-networked virtual machines. VEP project has been initiated in the framework of the FP Contrail EU integrated project (2010-2014) and further developed in the VEP-S activity funded by EIT ICT Labs (2014). Wiki : vep.gforge.inria.fr

Register Date: 2012-05-23 15:36

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

Verdandi - Verdandi is a generic data assimilation library, primarily for high-dimensional systems. It aims to provide many methods (like Kalman filters and 4D-Var) and related tools, for a wide range of numerical models.

Register Date: 2009-02-11 10:42

Verine - Traduction des preuves de VeriT vers Dedukti
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-09-22 16:10

Verveine J - VerveineJ allows to extract information from the source code of Java systems and export it for the Moose platform. From this, Moose allows performing different analysis on how the system is structured, interactions between its components, quality, etc.

Register Date: 2010-09-30 11:19

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