126.

01 janv. 2014

Logiciel

Cartaj
Classification Of RNA threeway Junctions

DENISE, Alain

127.

01 janv. 2014

Logiciel

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

COHEN-BOULAKIA, Sarah

128.

01 janv. 2014

Logiciel

cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization

FURSIN, Grigori

129.

01 janv. 2014

Logiciel

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

130.

01 janv. 2014

Logiciel

CFML
Program Verification for ML through Characteristic Formula

CHARGUERAUD, Arthur

131.

01 janv. 2014

Logiciel

MultiBoost
MultiBoost

KÉGL, Balázs

132.

01 janv. 2014

Logiciel

Metis
Metis

TEYTAUD, Olivier

133.

01 janv. 2014

Logiciel

AMADA
Web Data Repositories in the Amazon Cloud

CAMACHO RODRIGUEZ, Jesus

134.

01 janv. 2014

Logiciel

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

GOASDOUE, François

135.

01 janv. 2014

Logiciel

WaRG
Warehousing RDF Graphs

ROATIS, Ioana-Alexandra

136.

01 janv. 2014

Logiciel

GlideCursor
Intertial cursor

BEAUDOUIN-LAFON, Michel

137.

01 janv. 2014

Logiciel

myNRC2.0
Smart memory allocator

LACASSAGNE, Lionel

138.

01 janv. 2014

Logiciel

covTrack
Robust and realtime multitarget covariance tracking

LACASSAGNE, Lionel

139.

01 janv. 2014

Logiciel

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

140.

01 janv. 2014

Logiciel

CliqueSquare
CliqueSquare

ZAMPETAKIS, Stamatis

141.

01 janv. 2014

Logiciel

SAKey
Outil efficace de découverte automatique de presque-clés dans les données RDF

PERNELLE-MANSCOUR, Nathalie

142.

08 janv. 2014

Logiciel

ReactiveML
le langage ReactiveML

MANDEL, Louis

143.

10 janv. 2014

Logiciel

Flocq Library
Flocq Library

BOLDO, Sylvie

144.

20 janv. 2014

Logiciel

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

145.

04 févr. 2014

Logiciel

ocamlgraph
bibliothèque de graphes pour Ocaml

FILLIÂTRE, Jean-Christophe

146.

10 févr. 2014

Logiciel

OpenScop
OpenScop

BASTOUL, Cédric

147.

18 févr. 2014

Logiciel

SwingStates
Une extension de Java Swing basée sur les machines à états

APPERT, Caroline

148.

05 mars 2014

Logiciel

Functory
place where functional workers are manufacturing programs

FILLIÂTRE, Jean-Christophe

149.

12 avril 2014

Logiciel

Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification

CONTEJEAN, Evelyne

150.

17 juil. 2014

Logiciel

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric