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>
bitdew - Data for Dekstop Grids

Register Date: 2006-03-23 13:54

BLiFF++ - The BLiFF++ library: a BCI Library For Free in C++ This library aims at providing classes that could used to quickly design, test and assess (mainly off line) Brain-Computer Interfaces (BCI) in C++. It is a free and open-source library.

Register Date: 2008-06-26 14:22

Blob Computing - Ce projet concerne la prog de la VM définit par le Blob Computing, permettant la programmation de machine massivement parallèle sous la forme d'un ensembles de processus très léger, avec une structure facilitant cette programmation.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-10-02 14:34

BlobSeer - BlobSeer is a blob (binary large object) management service targeting data access transparency for highly dynamic large scale distributed computing applications. It provides support to handle masssive data amounts, granularity, versioning and consistency.

Register Date: 2008-09-19 10:25

BOCOP - BOCOP: Boite à Outils pour le Controle OPtimal

Register Date: 2010-08-31 08:45

BOCOP-HJB - BOCOP-HJB Toolbox for optimal control, HJB approach

Register Date: 2015-03-06 12:40

Bonnes pratiques de développement - Formation aux bonnes pratiques de développement logiciel
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-04-04 12:31

BotsInc - BotsInc is the environment of the book Squeak: Learn Programming with Robots. With Bots Inc you will learn how to program robots in an interactive environment. Bots Inc is fun but it is not a toy, it teaches you 100% real programming.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-10-26 08:39

Brain In Three Dimensions (BTD) - 3D recosntruction of the central nervous sytem from 2D sections.

Register Date: 2008-02-11 22:02

BrainMatcher - The BrainMatcher package provides tool to match and warp a 3D image to a 3D target template using a non rigid deformation. It's being used in fMRI studies as a supplementary tool for SPM to better analyse the results.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-07-19 15:00

BT Instrumentation - Instrumentation of the BitTorrent mainline client. The aim of the instrumentation is to provide complimentary informations on the client and on the peers connected to this client.

Register Date: 2006-08-23 15:03

BT NAT - We seek to leverage on the BitTorrent deployment to characterize the NATs at the scale of the Internet.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-12-21 08:17

Building - Tool for physical security
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-11-05 13:25

BuildMaster - Automatically build a software and send results to a web server and/or irc channel. Distributed multi-platform builders are supported (currently linux, mac, windows). See http://dashboard.sofa-framework.org/ for an example of use in the SOFA project.

Register Date: 2008-05-06 10:37

bzr - Controller synthesis for the design of embedded systems

Register Date: 2008-07-04 12:56

CAD_COQ - A formal proof of a cylindrical decomposition algorithm
This project has not yet categorized itself in the Trove Software Map
Register Date: 2005-11-07 08:25

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

cadp - Various tools related to the CADP toolbox
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-01-08 13:11

Cairn-public - This project goal is to host all small tools and software developped by the CAIRN group that we want to be make available to the public, but which do not deserve a INRIA gforge project of their own

Register Date: 2010-08-29 09:17

+CAL 2.0 - +CAL is an language allowing to easily express algorithms. Once specified in +CAL, algorithms can be translated to the TLA+ formalism in order to get model-checked by the TLC tool. +CAL 2.0 introduce distributed computing concepts to +CAL.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-12-21 10:32

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>