101.

01 Jan 2014

Software

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

FURSIN, Grigori

102.

01 Jul 2008

Software

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine

103.

15 Apr 2008

Software

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee

FROIDEVAUX, Christine

104.

01 Jun 2015

Software

UnityCluster
Distributed Unity3D application middleware

FLEURY, Cédric

105.

01 Jan 2014

Software

bibtex2html
Bibtex to HTML

FILLIÂTRE, Jean-Christophe

106.

05 Mar 2014

Software

Functory
place where functional workers are manufacturing programs

FILLIÂTRE, Jean-Christophe

107.

04 Dec 2014

Software

Why3
The Why3 platform

FILLIÂTRE, Jean-Christophe

108.

01 Jan 2014

Software

Mlpost
Mlpost: an Objective Caml interface to Metapost

FILLIÂTRE, Jean-Christophe

109.

17 Sep 2004

Software

Caduceus
Caduceus Tool for C Program Verification

FILLIÂTRE, Jean-Christophe

110.

04 Feb 2014

Software

ocamlgraph
Ocaml graph library

FILLIÂTRE, Jean-Christophe

111.

15 Nov 2012

Software

BitDew
Middleware for Large Scale Data Management and Distribution

FEDAK, Gilles

112.

01 Sep 2009

Software

CELL-MPI
MPI Framework for the CELL Processor

FALCOU, Joël

113.

16 Aug 2014

Software

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

114.

31 Oct 2011

Software

BSP++
The C++ Bulk Synchronous Parallelism Library

FALCOU, Joël

115.

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

116.

15 Oct 2012

Software

Metaphore
Metaphore

FALCOU, Joël

117.

03 Oct 2014

Software

NT2
The Numerical Template Toolbox

FALCOU, Joël

118.

07 Aug 2009

Software

NestedAlign
Pairwise RNA secondary structure comparison

DENISE, Alain

119.

01 Jan 2014

Software

VARNA
Visualisation Applet for RNA

DENISE, Alain

120.

15 Dec 2017

Software

LiCoRNA
aLignment of Complex RNAs

DENISE, Alain

121.

01 Jan 2013

Software

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

122.

01 Jan 2014

Software

GenRGenS
Generation of Random Genomic Sequences and Structures

DENISE, Alain

123.

01 Jan 2014

Software

Cartaj
Classification Of RNA threeway Junctions

DENISE, Alain

124.

23 Mar 2018

Software

CaRNAval
Database of RNA Recurrent Interaction Networks

DENISE, Alain

125.

01 Jan 2005

Software

IDéeBD
IDéeBD

DELAËT, Sylvie