76.

01 janv. 2014

Logiciel

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

COHEN-BOULAKIA, Sarah

77.

01 janv. 2014

Logiciel

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

FURSIN, Grigori

78.

01 janv. 2014

Logiciel

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

79.

01 janv. 2014

Logiciel

CFML
Program Verification for ML through Characteristic Formula

CHARGUERAUD, Arthur

80.

01 janv. 2014

Logiciel

MultiBoost
MultiBoost

KÉGL, Balázs

81.

01 janv. 2014

Logiciel

Metis
Metis

TEYTAUD, Olivier

82.

01 janv. 2014

Logiciel

AMADA
Web Data Repositories in the Amazon Cloud

CAMACHO RODRIGUEZ, Jesus

83.

01 janv. 2014

Logiciel

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

GOASDOUE, François

84.

01 janv. 2014

Logiciel

WaRG
Warehousing RDF Graphs

ROATIS, Ioana-Alexandra

85.

01 janv. 2014

Logiciel

GlideCursor
Intertial cursor

BEAUDOUIN-LAFON, Michel

86.

01 janv. 2014

Logiciel

myNRC2.0
Smart memory allocator

LACASSAGNE, Lionel

87.

01 janv. 2014

Logiciel

covTrack
Robust and realtime multitarget covariance tracking

LACASSAGNE, Lionel

88.

01 janv. 2014

Logiciel

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

89.

01 janv. 2014

Logiciel

CliqueSquare
CliqueSquare

ZAMPETAKIS, Stamatis

90.

01 janv. 2014

Logiciel

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

PERNELLE-MANSCOUR, Nathalie

91.

01 déc. 2013

Logiciel

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

92.

07 nov. 2013

Logiciel

Clay
Clay

BASTOUL, Cédric

93.

11 oct. 2013

Logiciel

CLooG
Chunky Loop Generator

BASTOUL, Cédric

94.

23 sept. 2013

Logiciel

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

95.

15 sept. 2013

Logiciel

ACM-ES
Surrogate models for CMA-ES

LOSHCHILOV, Ilya

96.

06 sept. 2013

Logiciel

WILD Input Server
Configurateur d'entrées

HUOT, Stéphane

97.

26 juil. 2013

Logiciel

XRP
The XR platform

GOASDOUE, François

98.

15 mai 2013

Logiciel

YML
Large-Scale Workflow Computing

PETITON, Serge

99.

13 mai 2013

Logiciel

WXD
Editeur de textes

AMAR, Patrick

100.

01 avril 2013

Logiciel

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

MANOLESCU-GOUJOT, Ioana