101.

15 avril 2008

Logiciel

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee: Detecting and visualising Sequential Nuggets of Knowledge

FROIDEVAUX, Christine

102.

01 janv. 2014

Logiciel

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

FURSIN, Grigori

103.

11 mars 2009

Logiciel

GCC ICI
GCC Interactive Compilation Interface

FURSIN, Grigori

104.

01 janv. 2007

Logiciel

sALLUSTe
Test Statistique de programmes Lustre

GAUDEL, Marie-Claude

105.

01 janv. 2011

Logiciel

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude

106.

01 janv. 2014

Logiciel

GridObservatory
Grid Observatory

GERMAIN, Cécile

107.

01 janv. 2018

Logiciel

io.datascience
Input Output Data Science

GERMAIN, Cécile

108.

30 juin 2017

Logiciel

DIGISCAPE
Middleware de téléprésence

GLADIN, Olivier

109.

26 juil. 2013

Logiciel

XRP
The XR platform

GOASDOUE, François

110.

01 juin 2000

Logiciel

OntoClass & OntoQuery
Moteur de réécriture de requêtes en termes de vues pour la mise en oeuvre de médiateurs

GOASDOUE, François

111.

01 janv. 2014

Logiciel

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

GOASDOUE, François

112.

01 janv. 2010

Logiciel

SomeWhere
Calcul de conséquences en pair-à-pair

GOASDOUE, François

113.

01 janv. 2012

Logiciel

CALU
for multicore architectures

GRIGORI, Laura

114.

01 janv. 2012

Logiciel

Parallel Solvers
for Solving Linear Systems of Equations

GRIGORI, Laura

115.

01 janv. 2021

Logiciel

Codalab
open source framework for running competitions

GUYON, Isabelle

116.

01 janv. 2014

Logiciel

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

117.

01 janv. 2014

Logiciel

COCO
Comparing Continuous Optimizers

HANSEN, Nikolaus

118.

01 mai 2007

Logiciel

MPICH-V
Interface àpassage de messages pour les ressources volatiles

HERAULT, Thomas

119.

01 janv. 2014

Logiciel

Nautilus Analyzer
Nautilus Analyzer

HERSCHEL, Mélanie

120.

11 janv. 2018

Logiciel

HP-Combi
High Performance Combinatorics

HIVERT, Florent

121.

26 oct. 2015

Logiciel

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

122.

06 sept. 2013

Logiciel

WILD Input Server
Configurateur d'entrées

HUOT, Stéphane

123.

01 janv. 2013

Logiciel

jBricks
Toolkit Java pour plateformes de visualisation interactives

HUOT, Stéphane

124.

20 juin 2020

Logiciel

DNADNA
Deep Neural Architectures for DNA

JAY, Flora

125.

18 déc. 2017

Logiciel

Iris
Une logique de séparation d'ordre supérieur implémentée dasn l'assistant de preuve Coq

JOURDAN, Jacques-Henri