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>
DataCorroboration - This project is about data corroboration, which is a method to decide the truth of facts given the opinion of sources about these facts. This method use the notion of trust in sources.

Register Date: 2009-03-30 16:23

Data Dependance Graph Library - DDG is a C++ object oriented data dependence graph library. It is specially though for people willing to make quick, robust and modular implementations of code optimization techniques for basic blocks and loops.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-07-23 08:22

Datalift - The Datalift platform aims at easing and automating publication of raw structured datasets on the Web of data. // La plateforme Datalift est un toolkit pour facilement et automatiquement publier des jeux de données structurés sur le Web des données.

Register Date: 2010-09-30 13:05

deckard - collaboration on the clone detector deckard
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-05-01 06:17

Dedukti - A type-checker for λΠ-modulo user-defined rewrite rules. The latest version is available under opam.

Register Date: 2012-10-26 11:28

dedukti-constructivization - A rewrite system for proof constructivization in Dedukti.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-07-27 10:11

Deep 4DCVT - Same as before, but different
This project has not yet categorized itself in the Trove Software Map
Register Date: 2017-05-04 09:23

Deep4DCVT_release - Release version of Vincent Leroy's Deep4DCVT Project
This project has not yet categorized itself in the Trove Software Map
Register Date: 2019-03-20 10:45

deep-sequoia - deep-sequoia est un corpus linguistique qui contient des phrases en français avec une annotation en dépendances profondes.

Register Date: 2014-09-10 08:08

Demo of the GNU Autotools - This project contains an example project to demo the use of the GNU Autotools (or other build systems, even.)
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-07-09 12:47

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

Register Date: 2010-02-16 08:17

DepGraph - DepGraph is a small javascript library for dependency graphs visualization and edition.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-05-13 09:07

deprecated ForestGOMP - Project migrated to https://gitlab.inria.fr/runtime/forestgomp/

Register Date: 2008-04-21 13:56

deprecated KSTAR - New projects https://gitlab.inria.fr/kstar/kstar https://gitlab.inria.fr/kstar/kstar.gitlabpages.inria.fr

Register Date: 2013-11-05 16:08

deprecated StarPU - StarPU is now hosted on gitlab http://gitlab.inria.fr/starpu/starpu StarPU is a unified runtime system that offers support for heterogeneous multicore architectures.

Register Date: 2008-10-30 23:47

deprecated StarPU Debian Packaging - Debian Package files for StarPU
This project has not yet categorized itself in the Trove Software Map
Register Date: 2017-04-14 07:45

deprecated StarPU+Simgrid - This project has migrated to https://gitlab.inria.fr/starpu/simgrid
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-09-08 09:27

DESCARWIN - DESCARWIN is concerned with the hybridization of Descartes (AI planning) and Darwin (Evolutionary Computation) in order to designing satisficing planners.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-05-19 08:48

Détection de points singuliers - Détection de points singuliers et comparaison de différents formalismes

Register Date: 2014-03-12 09:10

detection of aneurysms - Le projet calcule le squelette de l'arbre vasculaire, et l'utilise pour détecter les anévrismes et les quantifier.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-02-29 12:02

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>