101.

24 Nov 2014

Software

Voeux
Teaching service management system

AMAR, Patrick

102.

31 Oct 2011

Software

BSP++
The C++ Bulk Synchronous Parallelism Library

FALCOU, Joël

103.

01 Jan 2014

Software

Cartaj
Classification Of RNA threeway Junctions

DENISE, Alain

104.

01 Jul 2015

Software

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

105.

15 May 2013

Software

YML
Large-Scale Workflow Computing

PETITON, Serge

106.

05 Mar 2014

Software

Functory
place where functional workers are manufacturing programs

FILLIÂTRE, Jean-Christophe

107.

30 Sep 2011

Software

KD2R
OWL2 key discovery on RDF datasets

PERNELLE-MANSCOUR, Nathalie

108.

28 Jun 2011

Patent

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé

AL AGHA, Khaldoun

109.

23 Nov 2010

Patent

FR 2967800 - Cell-MPI brevet
Procédé de synchronisation et de transfert de données entre des processeurs reliés par des canaux DMA

FALCOU, Joël

110.

03 Oct 2014

Software

NT2
The Numerical Template Toolbox

FALCOU, Joël

111.

16 Aug 2014

Software

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

112.

01 Dec 2013

Software

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

113.

01 Dec 2017

Software

Sage-Combinat
To improve the open source mathematical system Sage

THIÉRY, Nicolas

114.

15 Oct 2012

Software

Metaphore
Metaphore

FALCOU, Joël

115.

01 Jan 2014

Software

GeneValorization
Gene List significance at-a-glance

COHEN-BOULAKIA, Sarah

116.

01 Jan 2013

Software

SPIN
Scientific Programming InterNet

PETITON, Serge

117.

01 Jan 2014

Software

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

FURSIN, Grigori

118.

01 Jan 2013

Software

jBricks
Java toolkit for interactive visualization platforms

HUOT, Stéphane

119.

01 Jan 2014

Software

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

120.

01 Dec 2017

Software

SageMath
A free open-source mathematics software system

THIÉRY, Nicolas

121.

01 Feb 2013

Software

SPFlow
Rewriting a non SP workflow into an SP workflow while preserving provenance

COHEN-BOULAKIA, Sarah

122.

04 Feb 2013

Software

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

123.

07 Nov 2013

Software

Clay
Clay

BASTOUL, Cédric

124.

07 Sep 2017

Software

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

125.

01 Jan 2013

Software

Pff library
Pff library

BOLDO, Sylvie