76.

01 Jan 2014

Software

GeneValorization
Gene List significance at-a-glance

COHEN-BOULAKIA, Sarah

77.

01 Jan 2014

Software

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

FURSIN, Grigori

78.

01 Jan 2014

Software

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

79.

01 Jan 2014

Software

CFML
CFML

CHARGUERAUD, Arthur

80.

01 Jan 2014

Software

MultiBoost
MultiBoost

KÉGL, Balázs

81.

01 Jan 2014

Software

Metis
Metis

TEYTAUD, Olivier

82.

01 Jan 2014

Software

AMADA
AMADA

CAMACHO RODRIGUEZ, Jesus

83.

01 Jan 2014

Software

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

GOASDOUE, François

84.

01 Jan 2014

Software

WaRG
Warehousing RDF Graphs

ROATIS, Ioana-Alexandra

85.

01 Jan 2014

Software

GlideCursor
Inertial cursor

BEAUDOUIN-LAFON, Michel

86.

01 Jan 2014

Software

myNRC2.0
Smart memory allocator

LACASSAGNE, Lionel

87.

01 Jan 2014

Software

covTrack
Robust and realtime multitarget covariance tracking

LACASSAGNE, Lionel

88.

01 Jan 2014

Software

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

89.

01 Jan 2014

Software

CliqueSquare
CliqueSquare

ZAMPETAKIS, Stamatis

90.

01 Jan 2014

Software

SAKey
Scalable Tool For Almost Key Discovery in RDF Data

PERNELLE-MANSCOUR, Nathalie

91.

01 Dec 2013

Software

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

92.

07 Nov 2013

Software

Clay
Clay

BASTOUL, Cédric

93.

11 Oct 2013

Software

CLooG
Chunky Loop Generator

BASTOUL, Cédric

94.

23 Sep 2013

Software

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

95.

15 Sep 2013

Software

ACM-ES
Surrogate models for CMA-ES

LOSHCHILOV, Ilya

96.

06 Sep 2013

Software

WILD Input Server
Multi-device input configuration

HUOT, Stéphane

97.

26 Jul 2013

Software

XRP
The XR platform

GOASDOUE, François

98.

15 May 2013

Software

YML
Large-Scale Workflow Computing

PETITON, Serge

99.

13 May 2013

Software

WXD
Text editor

AMAR, Patrick

100.

01 Apr 2013

Software

EdiFlow
EdiFlow: interactive workflows for data analytics

MANOLESCU-GOUJOT, Ioana