Home My Page Projects

Project List

1032 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>
darshan-web - Designing a web service for efficient trace analysis of large scale platforms.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-05-05 14:36

DASSFLOW - Dassflow is a computational software for numerical simulation of river hydraulics (2D / 1D). It is designed especially for parameter identification, calibration and variational data assimilation. It is interfaced with few pre and post-processors

Register Date: 2006-10-19 09:20

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 - A source-to-source OpenMP compiler based on Clang for portable and efficient application programming on task-based runtime systems.

Register Date: 2013-11-05 16:08

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

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