101.

15 Apr 2008

Software

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee

FROIDEVAUX, Christine

102.

11 Mar 2009

Software

GCC ICI
GCC Interactive Compilation Interface

FURSIN, Grigori

103.

01 Jan 2014

Software

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

FURSIN, Grigori

104.

01 Jan 2007

Software

sALLUSTe
Statistical Testing based on Lustre Descriptions

GAUDEL, Marie-Claude

105.

01 Jan 2011

Software

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude

106.

01 Jan 2014

Software

GridObservatory
Grid Observatory

GERMAIN, Cécile

107.

01 Jan 2018

Software

io.datascience
io.datascience

GERMAIN, Cécile

108.

30 Jun 2017

Software

DIGISCAPE
Telepresence middleware

GLADIN, Olivier

109.

01 Jan 2014

Software

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

GOASDOUE, François

110.

01 Jun 2000

Software

OntoClass & OntoQuery
Query engine for mediators based on query rewriting using views

GOASDOUE, François

111.

26 Jul 2013

Software

XRP
The XR platform

GOASDOUE, François

112.

01 Jan 2010

Software

SomeWhere
Peer-to-Peer Consequence Finding

GOASDOUE, François

113.

01 Jan 2012

Software

CALU
for multicore architectures

GRIGORI, Laura

114.

01 Jan 2012

Software

Parallel Solvers
for Solving Linear Systems of Equations

GRIGORI, Laura

115.

01 Jan 2021

Software

Codalab
Codalab

GUYON, Isabelle

116.

01 Jan 2014

Software

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

117.

01 Jan 2014

Software

COCO
Comparing Continuous Optimizers

HANSEN, Nikolaus

118.

01 May 2007

Software

MPICH-V
Message Passing Interface For Volatile Resources

HERAULT, Thomas

119.

01 Jan 2014

Software

Nautilus Analyzer
Nautilus

HERSCHEL, Mélanie

120.

26 Oct 2015

Software

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

121.

11 Jan 2018

Software

HP-Combi
High Performance Combinatorics

HIVERT, Florent

122.

01 Jan 2013

Software

jBricks
Java toolkit for interactive visualization platforms

HUOT, Stéphane

123.

06 Sep 2013

Software

WILD Input Server
Multi-device input configuration

HUOT, Stéphane

124.

20 Jun 2020

Software

DNADNA
Deep Neural Architectures for DNA

JAY, Flora

125.

18 Dec 2017

Software

Iris
A Higher-Order Concurrent Separation Logic Framework implemented and verified in the proof assistant Coq.

JOURDAN, Jacques-Henri