Home My Page Projects

Project List

1011 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>
Compressive Spectral Clustering Toolbox - A Toolbox for Compressive Spectral Clustering
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-05-22 18:26

Computational Unified Library - Topology - CULT - the Computational Unified Library for Topology This is a project to provide a unified basis to write compatible modules for computational topology, topological data analysis and similar areas, with bindings to external systems.

Register Date: 2009-04-08 13:27

Computemode - ComputeMode is a tool for building a computing cluster of diskless nodes by booting PC workstations through the network. It uses OAR as the resource manager.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-01-03 19:39

ConcoRDanT - A new approach to data replication that is simple, scales indefinitely, and provably ensures eventual consistency: data types where all concurrent operations commute (CRDTs).
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-06-25 14:30

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

Register Date: 2010-03-17 11:37

Configuration Inria Linux Maverick - Configuration of - Network Time - LDAP - Printing - Disk share and mounting points For Inria Grenoble, specific to Maverick team (Artis and Evasion mount points)
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-06-21 16:15

Configuration QoS en XML - Développemement permettant de décrire la configuration de la QoS d'un routeur sous la forme d'un fichier XML. L'application génère la configuration dans la syntaxe de l'IOS Cisco équivalente.

Register Date: 2006-04-06 08:44

Contiki for Senslab nodes - a Contiki branch with drivers and platform definitions for Senslab nodes (wsn430 v1.3b and v1.4)
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-11-18 14:05

contiki-hiper - Different branches of Contiki with various modifications and extensions (OPERA support, sniffer, ...).
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-03-21 10:16

Continuous integration recipes for Hydra - This project contains "build recipes" for software projects under continuous integration at http://hydra.bordeaux.inria.fr/ . See http://nixos.org/hydra/ for more information on Hydra.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-10-12 13:02

Contracts for AOSD - An effort to bring Design by Contract to Aspect Oriented Software Development. Design by Contract as a mean to bind responsibilities to aspects, thus increasing the reliability and robustness of a project developed within AOSD.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-03-26 08:28

Convex Blind Calibration for CS - Convex Blind Calibration for Compressed Sensing
This project has not yet categorized itself in the Trove Software Map
Register Date: 2017-04-27 08:03

CONVOL Library - Specific library to use and experiment with convolution surfaces.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-12-21 16:30

COoperative modelliNg Is For EveRybody - Framework for creating multi-user, multi-client and multi-represented model editors.

Register Date: 2011-06-30 08:59

Coq - Coq is a formal proof management system. The project home page is http://coq.inria.fr (see link below).

Register Date: 2006-02-15 14:56

Coq ALEA library for randomized programs - The ALEA library forms a basis for reasoning on randomised algorithms in the proof assistant Coq. It is based on a monadic interpretation of programs as measures.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2012-02-23 07:28

Coq Contribs - The Coq Contribs project aims at gathering the users' contributions (specifications, development, libraries, ...) written in the Coq proof assistant.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-03-03 16:12

CoqFiniteGroups - Formal proof of the Feit-Thompson theorem Ssreflect plugin for the Coq proof assistant

Register Date: 2006-06-21 14:09

Coqine - A Coq to Dedukti translator.

Register Date: 2013-05-24 11:51

Coq.Interval - The Coq.Interval library provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-09-02 12:45

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