Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
101.
15 Apr 2008
Software
FROIDEVAUX, Christine
102.
01 Jan 2014
Software
cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization
FURSIN, Grigori
103.
11 Mar 2009
Software
GCC ICI
GCC Interactive Compilation Interface
FURSIN, Grigori
104.
01 Jan 2011
Software
RUKIA
Random Uniform walK In Automata
GAUDEL, Marie-Claude
105.
01 Jan 2007
Software
sALLUSTe
Statistical Testing based on Lustre Descriptions
GAUDEL, Marie-Claude
106.
01 Jan 2014
Software
GridObservatory
Grid Observatory
GERMAIN, Cécile
107.
01 Jan 2018
Software
io.datascience
io.datascience
GERMAIN, Cécile
108.
30 Jun 2017
Software
DIGISCAPE
Telepresence middleware
GLADIN, Olivier
109.
01 Jan 2010
Software
SomeWhere
Peer-to-Peer Consequence Finding
GOASDOUE, François
110.
01 Jan 2014
Software
FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists
GOASDOUE, François
111.
01 Jun 2000
Software
OntoClass & OntoQuery
Query engine for mediators based on query rewriting using views
GOASDOUE, François
112.
26 Jul 2013
Software
XRP
The XR platform
GOASDOUE, François
113.
01 Jan 2012
Software
CALU
for multicore architectures
GRIGORI, Laura
114.
01 Jan 2012
Software
Parallel Solvers
for Solving Linear Systems of Equations
GRIGORI, Laura
115.
01 Jan 2021
Software
Codalab
Codalab
GUYON, Isabelle
116.
01 Jan 2014
Software
CMA-ES
Covariance Matrix Evolution Strategy
HANSEN, Nikolaus
117.
01 Jan 2014
Software
COCO
Comparing Continuous Optimizers
HANSEN, Nikolaus
118.
01 May 2007
Software
MPICH-V
Message Passing Interface For Volatile Resources
HERAULT, Thomas
119.
01 Jan 2014
Software
HERSCHEL, Mélanie
120.
11 Jan 2018
Software
HP-Combi
High Performance Combinatorics
HIVERT, Florent
121.
26 Oct 2015
Software
Coq-Combi
Algebraic combinatorics in Coq
HIVERT, Florent
122.
06 Sep 2013
Software
WILD Input Server
Multi-device input configuration
HUOT, Stéphane
123.
01 Jan 2013
Software
jBricks
Java toolkit for interactive visualization platforms
HUOT, Stéphane
124.
20 Jun 2020
Software
DNADNA
Deep Neural Architectures for DNA
JAY, Flora
125.
18 Dec 2017
Software
Iris
A Higher-Order Concurrent Separation Logic Framework implemented and verified in the proof assistant Coq.
JOURDAN, Jacques-Henri
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 5 sur 9]