Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciels et brevets
#
Date
Type
Nom et Titre
Responsable
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
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 5 sur 9]