Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
151.
05 May 2008
Software
XtremWeb
Open Source Platform for Desktop Grid Computing
CAPPELLO, Franck
152.
01 Jan 2014
Software
AMADA
AMADA
CAMACHO RODRIGUEZ, Jesus
153.
01 Jan 2015
Software
PigReuse
2 platform for specifying and exploiting warehouses of RDF data
CAMACHO RODRIGUEZ, Jesus
154.
01 Jan 2014
Software
PAXQuery
massively parallel processing of XQuery queries
CAMACHO RODRIGUEZ, Jesus
155.
02 Dec 2019
Software
CARTOLABE
CARTOLABE
CAILLOU, Philippe
156.
14 Jul 2007
Software
SIMBAD
Simbad, A mobile robot simulator for Autonomous and Evolutionary Robotics
BREDECHE, Nicolas
157.
01 Sep 2016
Software
CQAPri
Consistent Query Answering with Priorities
BOURGAUX, Camille
158.
22 Sep 2017
Patent
Synchro CORAC
Synchronization mechanism for critical systems
BOULANGER, Frédéric
159.
20 Apr 2018
Software
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
160.
17 Jul 2014
Software
ModHelX
ModHel'X - A framework for heterogeneous modeling
BOULANGER, Frédéric
161.
01 Jan 2013
Software
Pff library
Pff library
BOLDO, Sylvie
162.
03 Oct 2012
Software
Coq.FP2
Coq.FP2
BOLDO, Sylvie
163.
10 Jan 2014
Software
Flocq Library
Flocq Library
BOLDO, Sylvie
164.
07 Sep 2017
Software
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
165.
01 Jan 2013
Software
XPUQ
XML Partitioning for Updates and Queries
BIDOIT, Nicole
166.
10 Feb 2012
Software
CDuce
CDuce an XML centric Programmimg Language
BENZAKEN, Véronique
167.
01 Jan 2014
Software
GlideCursor
Inertial cursor
BEAUDOUIN-LAFON, Michel
168.
01 Jan 2013
Software
Substance
Programming framework and middleware for developing distributed interactive application
BEAUDOUIN-LAFON, Michel
169.
10 Jul 2015
Software
WildOS
Middleware for interactive rooms
BEAUDOUIN-LAFON, Michel
170.
01 Jan 2013
Software
Scotty
User Interface Programming at Run Time
BEAUDOUIN-LAFON, Michel
171.
02 Aug 2009
Software
Piplib
Parametric Integer Programming Library
BASTOUL, Cédric
172.
30 Oct 2008
Software
FM
FM: the Fourier-Motzkin library
BASTOUL, Cédric
173.
07 Nov 2013
Software
Clay
Clay
BASTOUL, Cédric
174.
20 Jan 2014
Software
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
175.
11 Oct 2013
Software
CLooG
Chunky Loop Generator
BASTOUL, Cédric
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 7 sur 9]