Home My Page Projects

Project List

1034 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> <52>
FaceAnimation - FaceAnimation is a software to animate human avatars based of the MPEG4 face animation standard (.fap) for any WRML face mesh using the Candide3 face model to (semi-automatically) project.

Register Date: 2010-07-20 07:24

FAIL - FAult Injection Language - The FAIL project aims in developing a dependability benchmark by injecting reproducible faults patterns in distributed applications.

Register Date: 2006-07-12 13:03

Failure Trace Archive - The site is the code repository for tools of the Failure Trace Archive (http://fta.inria.fr).
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-06-29 09:56

Fault Tolerance Interface - FTI is a library providing multilevel checkpoint-restart. It relies on application level checkpointing and routes the checkpointing calls to a novel multilevel checkpointing scheme.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-06-12 16:27

faust - Développement de la toolbox Flexible Approximate Multi-Layer Sparse Transform
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-05-21 08:36

Feature Structures Java API - API Java de gestion des structures de traits
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-07-10 15:30

FELiScE - FELiScE is a finite element library dedicated to life sciences and engineering problems. It is developed by the Inria M3DISIM and REO project-teams.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-11-28 13:46

Femme - Femme : Finite element method modulable engine. Ce projet a pour but de d'accompagner le scientifique qui souhaite résoudre une EDP de la création du maillage jusqu'à l'assemblage des matrices éléments finis.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-09-08 07:03

FIACRE Compiler - Compilateur du langage pivot FIACRE vers le langage de processus LOTOS.

Register Date: 2015-03-31 06:34

FiatLux - Simulateur d'automates cellulaires et de systèmes dynamiques discrets http://fiatlux.loria.fr/

Register Date: 2015-06-23 09:46

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

1034 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> <52>