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>
Coquelicot - The Coquelicot project aims at designing a modern formalization of classical real numbers for the Coq proof assistant.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-10-03 14:13

CoqWmm - A Formal Hierachy of Weak Memory Models, in Coq

Register Date: 2011-02-05 11:40

CoRDAGe - CoRDAGe is a co-deployment and re-deployment tool for grid applications. It interfaces distributed applications with grid middlewares in charge of node reservation and deployment. http://cordage.gforge.inria.fr

Register Date: 2008-01-10 14:27

Corral versioning device - The Corral project is a virtual block-device with transparent versioning, which uses the linux device-mapper snapshot as a lower layer. The snapshot method uses a Copy on Write technique to avoid duplicating unchanged blocks between successive versions.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-05-07 14:26

corse-psaic - CORSE - ST Micro project
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-09-07 13:49

COSYMA - COSYMA: a tool for COntroller SYnthesis on Multi-scale Abstractions

Register Date: 2012-06-04 10:18

CRAC - CRAC is a new tool for mapping and accurately classifying reads produced by next generation sequencers.CRAC can detect SNPs, splices, indels, chimeras, sequencing errors in reads. It can also deal with reads coming from next-next generation sequencers.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-11-10 09:51

CracTools - CracTools aims at enhancing CRAC's results on chimeras, indels, SNVs… by using annotations and additional filtering.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-11-18 12:39

CROCO - IMPORTANT NOTICE : CROCO has been move there: https://gitlab.inria.fr/croco-ocean/croco IMPORTANT NOTICE : CROCO_TOOLS has been move there: https://gitlab.inria.fr/croco-ocean/croco_tools A new subscription on gitlab plat-form and the to CROCO project is mandatory. We recall that git repository is evolving on daily basis and that a more stable version is available for download on croco website http://www.croco-ocean.org
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-11-20 12:00

CryptoMiniSat - CryptoMiniSat is a state-of-the-art SAT solver incorporating many ideas. For a list, please visit http://www.msoos.org/2013/04/cryptominisat-3-0-released/ The source is available on github: https://github.com/msoos/cryptominisat

Register Date: 2009-05-14 08:56

Cudf library - The Cudf library, originally developed in the Mancoosi project, is a reference implementation of the Common Upgradability Description Format

Register Date: 2012-10-06 07:45

Cutter - CUTTER addresses OO re-modularization by recognizing and accepting the complexity and multi-faceted nature of software remodularisation, through developing, combining, and evaluating new techniques for analyzing and modularizing code.

Register Date: 2011-05-03 09:31

CVT - CVT computation source code for implicit and triangle surfaces.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-04-20 16:53

CycabHDK - CycabHDK (Cycab Hardware Development Kit) regroupe les développements bas niveau de la plate-forme robotique Cycab.

Register Date: 2005-09-26 16:18

Cycab Toolkit - This project aims to provide a development toolkit dedicated to mobile robotic platforms such as Cycab (simulator, middleware ...).

Register Date: 2005-07-05 08:46

Damaris - Damaris (Dedicated Adaptive Middleware for Application's Resources Inline Steering) aims at providing a library for efficient resource management (in particular memory) on multicore SMP nodes, leveraging dedicated cores for distributed services.

Register Date: 2011-02-23 13:03

dana - dana is a multi-platform library for distributed asynchronous numerical and adaptive computation.

Register Date: 2006-12-19 08:37

Darshan-ruby - Darshan-ruby is a Ruby wrapper for the Darshan C library. It provides high-level tools to parse logs generated by Darshan (I/O profiling library for HPC applications, developed by ANL).

Register Date: 2013-04-13 15:56

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

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>