Home My Page Projects

Project List

998 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>
FIBRESO - Prédiction de la spécificité tissulaire des gènes à partir de leur séquences régulatrice.

Register Date: 2006-11-13 14:17

FIESTA - FIESTA is a generic framework for automatically integrating new functionalities into an architecture description.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-09-17 14:48

FIT Equipex IoT-LAB - This is the project to host the software repository for the FIT Equipex IoT-LAB platform.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-01-10 15:06

Flamenco - Development and distribution platform for the Flamenco project (ANR MDCA 2007-2010)

Register Date: 2007-04-27 09:14

FlashVideoConf - A flash lightweight audio and video conference client, plus a video messaging client (generated with openlaszlo framework) and it's streaming server on OsFlash Red5. Aimed to be integrated in web applications.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-08-01 12:44

Flocq - Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-01-19 12:16

FloPoCo Floating-Point Core Generator - FloPoCo is a generator of floating-point cores targeted mainly at FPGAs, and offering exotic operators that are not available in usual processor FPUs. It inputs a list of operator specifications, and outputs synthesizable VHDL.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-11-09 14:27

FluidBox - Quelques outils de développement pour la résolution de systèmes évolutifs en maillages non structurés 2D/3D parallèle. Version publique bientôt disponible.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-05-23 06:40

FMR - Fast Method for Randomized Numerical Linear Algebra. Provides a set of tools to perform Randomized NLA computations in a fast and efficient way, e.g. using fast multipole matrix-to -matrix products. Examples include the computation of square root of covariance matrices (using a Fast Multipole accelerated Randomized SVD) for the generation of correlated random fields. This project relies heavily on ScalFMM. Perspective: include random project, random selection, Block Basis Factorization, develop parallelism...

Register Date: 2015-06-01 12:44

Focalide - A Dedukti-aware FoCaLiZe compiler
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-07-27 14:41

ForestGOMP - ForestGOMP is an extension of the GNU OpenMP compiler and run-time libraries (part of GCC) to make use of the Marcel thread library. It aims to leverage the high-level semantics of OpenMP constructs to improve thread scheduling on NUMA architectures.

Register Date: 2008-04-21 13:56

FormalMetaCoq - Formal Metatheory in Coq
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-11-04 16:29

Formation CVS et SVN - Support de cours pour la formation "utilisation de CVS et Subversion"

Register Date: 2011-03-14 13:48

Formation Gforge INRIA - Formation à l'utilisation de la GForge INRIA.

Register Date: 2011-03-14 13:49

FP-Hadoop - FP-Hadoop is an improvement of Hadoop framework which aims to avoid skew in the reduce phase in order to improve the system response time.

Register Date: 2013-05-31 10:12

FracLab - FracLab is a general purpose signal and image processing toolbox based on fractal and multifractal methods.

Register Date: 2008-11-03 11:16

Fractal Aspect Component - FAC is an extension of the Fractal component model to support AOP. It is built as an unification of Component-Based Software Development (CBSD) and Aspect-Oriented Software Development.

Register Date: 2007-01-18 09:26

Fractal Deployment Framework - Fractal Deployment Framework is a generic component-based deployment framework for J2EE, OSGi, CCM, Web Services, etc.

Register Date: 2006-03-15 11:22

FractClipse - Eclipse Plug-in for the Fractal v2 component model. This project is an extension of an existing plug-in developed by Christophe Boulet at ESSI. It supports the development with Fractal v2 (Julia) and Eclipse 3.0 or 3.1.

Register Date: 2005-07-29 14:51

Frama-C - Frama-C is a platform for static analysis of C source code

Register Date: 2008-01-23 14:35

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