101.

01 janv. 2014

Logiciel

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

FURSIN, Grigori

102.

15 avril 2008

Logiciel

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

FROIDEVAUX, Christine

103.

01 juil. 2008

Logiciel

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine

104.

01 juin 2015

Logiciel

UnityCluster
Middleware pour applications Unity3D réparties

FLEURY, Cédric

105.

17 sept. 2004

Logiciel

Caduceus
Outil Caduceus de vérification de programmes C

FILLIÂTRE, Jean-Christophe

106.

05 mars 2014

Logiciel

Functory
place where functional workers are manufacturing programs

FILLIÂTRE, Jean-Christophe

107.

04 févr. 2014

Logiciel

ocamlgraph
bibliothèque de graphes pour Ocaml

FILLIÂTRE, Jean-Christophe

108.

01 janv. 2014

Logiciel

bibtex2html
Traducteur BibTeX vers HTML

FILLIÂTRE, Jean-Christophe

109.

04 déc. 2014

Logiciel

Why3
La plateforme Why3

FILLIÂTRE, Jean-Christophe

110.

01 janv. 2014

Logiciel

Mlpost
Mlpost: une interface Objective Caml pour Metapost

FILLIÂTRE, Jean-Christophe

111.

15 nov. 2012

Logiciel

BitDew
middleware OpenSource pour les grilles de données de bureau

FEDAK, Gilles

112.

16 août 2014

Logiciel

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

113.

31 oct. 2011

Logiciel

BSP++
The C++ Bulk Synchronous Parallelism Library

FALCOU, Joël

114.

23 nov. 2010

Brevet

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

115.

01 sept. 2009

Logiciel

CELL-MPI
Cadriciel MPI pour le processeur CELL

FALCOU, Joël

116.

15 oct. 2012

Logiciel

Metaphore
Metaphore

FALCOU, Joël

117.

03 oct. 2014

Logiciel

NT2
The Numerical Template Toolbox

FALCOU, Joël

118.

15 déc. 2017

Logiciel

LiCoRNA
aLignment of Complex RNAs

DENISE, Alain

119.

07 août 2009

Logiciel

NestedAlign
Pairwise RNA secondary structure comparison

DENISE, Alain

120.

01 janv. 2014

Logiciel

VARNA
Visualisation Applet for RNA

DENISE, Alain

121.

01 janv. 2013

Logiciel

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

122.

01 janv. 2014

Logiciel

GenRGenS
Generation of Random Genomic Sequences and Structures

DENISE, Alain

123.

01 janv. 2014

Logiciel

Cartaj
Classification Of RNA threeway Junctions

DENISE, Alain

124.

23 mars 2018

Logiciel

CaRNAval
Database of RNA Recurrent Interaction Networks

DENISE, Alain

125.

01 janv. 2005

Logiciel

IDéeBD
Introduction Didactique aux Bases de Données

DELAËT, Sylvie