Home My Page Projects

Software Map

769 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<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>

abenicho-svn - Alexis Benichoux, Laurent S. R. Simon, Emmanuel Vincent, Rémi Gribonval. Convex regularizations for the simultaneous recording of room impulse responses.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-06-01 11:32

anf2cnf - This project aims to write an ANF-to-CNF converter that uses out all possible optimisations to better suit the need of the SAT-solving and cryptographic community.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-10-21 11:46

antisparse - This package implements the anti-sparse coding scheme for approximate nearest neighbor search, as described in: Anti-sparse coding for approximate nearest neighbor search, H. Jégou, T. Furon and J-J. Fuchs Proc. ICASSP'12, March, 2012.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-01-17 08:48

babaz - This project aims at creating a large scale audio search system. Given a query audio, the system has to return the ordered list of audio tracks, in a large dataset, that best resemble the audio query.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-12-01 16:24

barvinok - barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2013-09-02 14:37

bastri - Base de données des structures de recherche INRIA
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-04-20 14:16

bc-serialnet - BitCloud Zigbee Pro Serialnet extensions.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2013-12-18 13:35

bib2hal - bib2hal permet de convertir une base BibTeX dans le format d'import de HAL.

Register Date: 2006-09-11 14:07

biohydrodynamics toolbox - Based on recent mathematical advances, biohydrodynamics toolbox gathers a collection of matlab/octave M-files for design, simulation and analysis of articulated bodies' motions in fluid.

Register Date: 2008-09-08 09:19

biomanycores - biomanycores is a repository of open-source parallel bioinformatics code in CUDA and OpenCL. The aim of the project is to bridge the gap between researches in high-performance-computing and usual bioinformaticians and biologists.

Register Date: 2009-07-07 11:51

biopi-lille-rostock - Imperative Pi Calculus A cooperation between Lille and Rostock on programming languages for systems biology.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-10-17 16:31

bitdew - Data for Dekstop Grids

Register Date: 2006-03-23 13:54

bzr - Controller synthesis for the design of embedded systems

Register Date: 2008-07-04 12:56

cado-nfs - This project page is the home of the CADO software implementing the Number Field Sieve algorithm.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-06-16 12:30

ceProMi - CeProMi is an INRIA ARC (Action de Recherche Collaborative) about Program Verification involving pointers and modularity issues
This project has not yet categorized itself in the Trove Software Map


Register Date: 2008-01-24 08:35

ci-test - Test for continuous integration
This project has not yet categorized itself in the Trove Software Map


Register Date: 2013-01-10 16:54

circe - Software library implementing Growing Hidden Markov Models, and applying them to learning and predicting human and vehicle motion in the INRIA's parking.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-05-23 15:25

cmac - CMAC is a new MAC layer optimizing the capacity of a wireless multihops networks with a convergecast traffic pattern. This package contains the source of the simulation models (working wit OPNET Modeler 12.0)

Register Date: 2006-03-17 20:57

co-clustering models - Co-cluster is a C++ library implementing probabilistic models for the analysis of huge matrices or contingency tables. The data can be binary, continuous or categorical.

Register Date: 2011-11-09 10:11

comka - Kaapi component using the Dynaco scheme to dynamically add certification to programms compiled with the kaapi library.

Register Date: 2008-03-04 13:56

769 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<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>