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

FreDIST - FreDist is a project that builds distributional thesauri for French and other languages, and is geared toward integration within natural language processing applications.

Register Date: 2010-01-28 10:47

French Discourse TreeBank 1 (FDTB1) - Première version d'un corpus annoté pour le discours. Dans cette version, seuls les connecteurs sont marqués. La version finale du corpus (FDTB) comportera l'identification des arguments et la sémantique des connecteurs.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-06-25 13:54

French TimeBank - The French TimeBank: a freely distributable corpus of temporally annotated French news articles marked up according to the ISO-TimeML standard for French.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-01-04 18:41

Fresh Fractal Factory - The development of a new factory for Fractal will allow an easier integration for ADL extensions. In particular the new factory will already integrate extension proposed by the Oasis Research team.

Register Date: 2010-11-05 16:18

Frictional Contact Library - The goal of this work is to set up a collection of 3D Frictional Contact (3DFC) problems. The collection will provide a standard framework for testing available and new algorithms for solving discrete frictional contact problems.

Register Date: 2010-06-25 20:24

Frigidr - Frigidr is a tool for HPC free cooling systems

Register Date: 2011-10-06 18:12

FrMG Parser Test - Repository for FrMG Parser test. Used together with jenkins.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-08-05 08:19

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

Function Memoization - Memoization is the technique of saving result of executions so that future executions can be omitted when the inputs repeat. Memoization has been proposed in previous literature at the instruction level, basic block level and function level using hardware as well as pure software level approaches including changes to programming language. If-memo proposes software memoization of pure functions for procedural languages. It relies on the operating system loader, taking advantage of the LD_PRELOAD feature of UNIX systems. By setting this variable to the path of a shared library, we instruct the loader to first look for symbols in that library. Our library redefines the functions we wish to intercept. The interception code is very straightforward: it receives the same parameter as the target function and checks in a table (a software cache) if this value is readily available. In the favorable case, the result value is immediately returned. Otherwise, we invoke the original function, and store the result in the cache before returning it. The table is of limited size and it is implemented as a cache. Older values may be evicted by newer values. The input parameter serves as a tag to guarantee the validity of the accessed data. The table is indexed through a simple yet efficient hash function: we repeatedly XOR the most and least significant bits of the parameter value until we reach the necessary bit-width. For parameters of type double (64 bits) and a 64k-entry table, two XOR operations are enough. For smaller tables, we simply mask the higher bits. Our technique does not require the availability of source code and thus can be applied even to commercial applications as well as applications with legacy codes. As far as users are concerned, enabling memoization is as simple as setting an environment variable.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-04-26 07:56

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

FxPF - Algorithms for the reliable determination of Fixed-Point Formats for the implementation of LTI IIR digital filters.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2017-12-05 13:13

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

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>