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
151.
01 janv. 2013
Logiciel
V-DS
Virtualization environment for large-scale Distributed Systems
CAPPELLO, Franck
152.
01 janv. 2015
Logiciel
PigReuse
2 platform for specifying and exploiting warehouses of RDF data
CAMACHO RODRIGUEZ, Jesus
153.
01 janv. 2014
Logiciel
PAXQuery
massively parallel processing of XQuery queries
CAMACHO RODRIGUEZ, Jesus
154.
01 janv. 2014
Logiciel
AMADA
Web Data Repositories in the Amazon Cloud
CAMACHO RODRIGUEZ, Jesus
155.
02 déc. 2019
Logiciel
CARTOLABE
CARTOLABE
CAILLOU, Philippe
156.
14 juil. 2007
Logiciel
SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics
BREDECHE, Nicolas
157.
01 sept. 2016
Logiciel
CQAPri
Consistent Query Answering with Priorities
BOURGAUX, Camille
158.
20 avril 2018
Logiciel
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
159.
17 juil. 2014
Logiciel
ModHelX
ModHel'X - A framework for heterogeneous modeling
BOULANGER, Frédéric
160.
22 sept. 2017
Brevet
Synchro CORAC
Procédé de synchronisation pour systèmes critiques
BOULANGER, Frédéric
161.
01 janv. 2013
Logiciel
Pff library
Pff library
BOLDO, Sylvie
162.
10 janv. 2014
Logiciel
Flocq Library
Flocq Library
BOLDO, Sylvie
163.
07 sept. 2017
Logiciel
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
164.
03 oct. 2012
Logiciel
Coq.FP2
Coq.FP2
BOLDO, Sylvie
165.
01 janv. 2013
Logiciel
XPUQ
XML Partitioning for Updates and Queries
BIDOIT, Nicole
166.
10 févr. 2012
Logiciel
CDuce
CDuce an XML centric Functional Programmimg Language
BENZAKEN, Véronique
167.
01 janv. 2013
Logiciel
Substance
Programming framework and middleware for developing distributed interactive application
BEAUDOUIN-LAFON, Michel
168.
01 janv. 2013
Logiciel
Scotty
User Interface Programming at Run Time
BEAUDOUIN-LAFON, Michel
169.
10 juil. 2015
Logiciel
WildOS
Middleware pour salles interactives
BEAUDOUIN-LAFON, Michel
170.
01 janv. 2014
Logiciel
GlideCursor
Intertial cursor
BEAUDOUIN-LAFON, Michel
171.
12 avril 2012
Logiciel
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
172.
10 févr. 2014
Logiciel
OpenScop
OpenScop
BASTOUL, Cédric
173.
07 nov. 2013
Logiciel
Clay
Clay
BASTOUL, Cédric
174.
16 févr. 2008
Logiciel
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
175.
03 déc. 2012
Logiciel
PoCC
the Polyhedral Compiler Collection
BASTOUL, Cédric
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 7 sur 9]