Home My Page Projects

Project List

910 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>
Fugimep - Interface web de prédiction de domaines transmembranaires chez le champignon Lacaria bicolor.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-03-18 11:08

FWR Toolbox - The FWR Toolbox is a Matlab toolbox used to analyse the Finite Word Length effects of digital filters/controllers implementations and find 'optimal' realizations (according to open-loop/closed-loop sensitivity measures, roundoff noise gain,...).

Register Date: 2006-12-28 00:16

FXP - Streamable algorithms for FXP, a temporal logic corresponding to a fragment of Forward XPath
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-12-19 16:20

g5k-campaign - This is a tool targeted at Grid'5000 users, to easily deploy and configure nodes on Grid'5000 based on the concept of extensible campaign engines.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-01-19 10:06

Gaëtan Harter repository - My personnal repository to export local repositories I want to save, each branch is a
This project has not yet categorized itself in the Trove Software Map
Register Date: 2012-04-23 16:24

gametestbed - Several games, with a common interface. Contains: - parametric policies - fitness functions for black box noisy optimization - fitness functions for coevolution
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-09-21 08:59

Gappa - Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why.

Register Date: 2009-09-16 08:55

Gar6more2D - Analytical solutions for two dimensional wave propagation problems.

Register Date: 2013-09-03 14:53

Gar6more3D - Analytical solutions for three-dimensional wave propagation problems.

Register Date: 2013-09-03 14:59

Gaspard 2 - Gaspard2 is an Integrated Development Environment (IDE) for SoC visual co-modeling. It allows modeling, simulation and code generation of SoC applications and hardware architectures. (See the wiki of the project for more information.)

Register Date: 2007-04-26 13:39

gaya - Graph AnalYsis frAmework. A graph model with an algorithm library: pattern generation, graph covering, topological algorithms, etc. The graph model can be adapted to any EMF metamodel.

Register Date: 2011-02-24 15:38

gazelle - IHE Gazelle Tools. The Gazelle project is aimed at developing testing tools for IHE. This tools shall test the interoperability of medical systems and the compliance of the messages send by those systems with standards recommender by IHE.

Register Date: 2007-03-07 16:37

GeCoS - GECOS (Generic Compiler Suite) is a generic compilation platform, extensible by a plugin mechanism.

Register Date: 2006-10-04 12:45

Gedeon - Gedeon est un middleware de gestion de données pour grilles développé dans le cadre d'un projet financé par l'ACI Masse de Données.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2005-12-14 11:27

Geex - Geex is a framework for interactive 3D graphics and mesh processing.

Register Date: 2008-11-09 20:20

Gemoc-dev - Git part of the Gemoc project This will complement the Gemoc project wich contains a Svn for the publications
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-01-14 10:32

Generic Trace Generator - Generic Trace Generator (GTG) aims at providing a simple and generic interface for generating execution traces in several formats (OTF, Paje, etc.) It will be used by EZTrace and ViTE, but it can also be used by any application.

Register Date: 2010-06-16 08:14

GénéSyst - GénéSyst est un outil permettant de calculer l'ensemble des comportements d'un modèle B. Cette sur-approximation d'un système possiblement infini est réalisée en un temps fini, par résolution d'obligations de preuve.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-01-23 07:51

GenI wrapper - The GenI wrapper project contains two Java packages interfacing the GenI surface realizer developed by Eric Kow, a GenI client that communicates with the geniserver with sockets, and a morphological realizer.

Register Date: 2009-10-04 16:34

Geodesic Connectivity Mapping Algorithm - Fast Marching based Algorithm for computing the anatomical connectivity in the brain. The algorithm computes the anisotropic geodesic distance map, the associated gradients and some connectivity measures with their statistics along the geodesics.

Register Date: 2007-03-09 09:52

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