126.

01 nov. 2009

Logiciel

GUIDE
A Graphical User Interface for EA C++ library developpment

SCHOENAUER, Marc

127.

01 janv. 2014

Logiciel

GridObservatory
Grid Observatory

GERMAIN, Cécile

128.

01 janv. 2013

Logiciel

Glucose
The solver that looks for glue clauses

SIMON, Laurent

129.

01 janv. 2014

Logiciel

GlideCursor
Intertial cursor

BEAUDOUIN-LAFON, Michel

130.

01 janv. 2014

Logiciel

GenRGenS
Generation of Random Genomic Sequences and Structures

DENISE, Alain

131.

01 juil. 2008

Logiciel

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine

132.

01 janv. 2014

Logiciel

GeneValorization
L'importance des gènes en un clin d'oeil

COHEN-BOULAKIA, Sarah

133.

11 mars 2009

Logiciel

GCC ICI
GCC Interactive Compilation Interface

FURSIN, Grigori

134.

15 août 2017

Logiciel

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

135.

09 janv. 2017

Logiciel

Gappa
Outil Gappa de certification de programmes numériques

MELQUIOND, Guillaume

136.

05 mars 2014

Logiciel

Functory
place where functional workers are manufacturing programs

FILLIÂTRE, Jean-Christophe

137.

23 sept. 2013

Logiciel

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

138.

28 juin 2011

Brevet

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé

AL AGHA, Khaldoun

139.

11 déc. 2009

Brevet

FR0958890
Procédé de routage qualitatif dans un réseau de communication multi sauts, équipement de gestion de nœud de réseau

AL AGHA, Khaldoun

140.

01 janv. 2006

Brevet

FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes

AL AGHA, Khaldoun

141.

23 nov. 2010

Brevet

FR 2967800 - Cell-MPI brevet
Procédé de synchronisation et de transfert de données entre des processeurs reliés par des canaux DMA

FALCOU, Joël

142.

30 oct. 2008

Logiciel

FM
FM: the Fourier-Motzkin library

BASTOUL, Cédric

143.

01 janv. 2013

Logiciel

FlowStates Toolkit
Programmer des applications interactives avec des flots de données et des machines à états

APPERT, Caroline

144.

10 janv. 2014

Logiciel

Flocq Library
Flocq Library

BOLDO, Sylvie

145.

18 déc. 2006

Logiciel

FAIL-FCI
Langage d'injection de fautes

TIXEUIL, Sébastien

146.

01 janv. 2014

Logiciel

FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists

GOASDOUE, François

147.

01 avril 2013

Logiciel

EdiFlow
EdiFlow: workflows intéractifs pour l'analyse de données

MANOLESCU-GOUJOT, Ioana

148.

01 janv. 2011

Logiciel

EAP Framework
EAP Framework

REYNAUD, Chantal

149.

20 juin 2020

Logiciel

DNADNA
Deep Neural Architectures for DNA

JAY, Flora

150.

01 juin 2005

Logiciel

Django
theta-subsumption test for Relational Learning

SEBAG, Michèle