Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
101.
01 Jan 2014
Software
cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization
FURSIN, Grigori
102.
15 Apr 2008
Software
FROIDEVAUX, Christine
103.
01 Jul 2008
Software
GenoQuery
Querying genomic data warehouse
FROIDEVAUX, Christine
104.
01 Jun 2015
Software
UnityCluster
Distributed Unity3D application middleware
FLEURY, Cédric
105.
17 Sep 2004
Software
Caduceus
Caduceus Tool for C Program Verification
FILLIÂTRE, Jean-Christophe
106.
05 Mar 2014
Software
Functory
place where functional workers are manufacturing programs
FILLIÂTRE, Jean-Christophe
107.
04 Feb 2014
Software
ocamlgraph
Ocaml graph library
FILLIÂTRE, Jean-Christophe
108.
01 Jan 2014
Software
bibtex2html
Bibtex to HTML
FILLIÂTRE, Jean-Christophe
109.
04 Dec 2014
Software
Why3
The Why3 platform
FILLIÂTRE, Jean-Christophe
110.
01 Jan 2014
Software
Mlpost
Mlpost: an Objective Caml interface to Metapost
FILLIÂTRE, Jean-Christophe
111.
15 Nov 2012
Software
BitDew
Middleware for Large Scale Data Management and Distribution
FEDAK, Gilles
112.
16 Aug 2014
Software
Quaff
Quaff: Dataflow EDSL for Parallel Programming
FALCOU, Joël
113.
31 Oct 2011
Software
BSP++
The C++ Bulk Synchronous Parallelism Library
FALCOU, Joël
114.
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
115.
01 Sep 2009
Software
CELL-MPI
MPI Framework for the CELL Processor
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.
01 Jan 2014
Software
VARNA
Visualisation Applet for RNA
DENISE, Alain
119.
07 Aug 2009
Software
NestedAlign
Pairwise RNA secondary structure comparison
DENISE, Alain
120.
01 Jan 2013
Software
Rna3Dmotif
Software for extracting RNA tertiary motifs
DENISE, Alain
121.
01 Jan 2014
Software
Cartaj
Classification Of RNA threeway Junctions
DENISE, Alain
122.
01 Jan 2014
Software
GenRGenS
Generation of Random Genomic Sequences and Structures
DENISE, Alain
123.
23 Mar 2018
Software
CaRNAval
Database of RNA Recurrent Interaction Networks
DENISE, Alain
124.
15 Dec 2017
Software
LiCoRNA
aLignment of Complex RNAs
DENISE, Alain
125.
01 Jan 2005
Software
IDéeBD
IDéeBD
DELAËT, Sylvie
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 5 sur 9]