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
1.
01 janv. 2007
Logiciel
OptimAX
Optimiseur algébrique pour Active XML
ABITEBOUL, Serge
2.
01 janv. 2005
Logiciel
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
3.
01 janv. 2007
Logiciel
ULoad
Gestionnaire de vues XML
ABITEBOUL, Serge
4.
09 juil. 2008
Logiciel
Active XML
Spécification déclarative d'applications Web
ABITEBOUL, Serge
5.
01 janv. 2006
Brevet
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
6.
11 déc. 2009
Brevet
FR0958890
Procédé de routage qualitatif dans un réseau de communication multi sauts, équipement de gestion de nœud de réseau
AL AGHA, Khaldoun
7.
28 juin 2011
Brevet
FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé
AL AGHA, Khaldoun
8.
01 janv. 2010
Logiciel
Qolyester
Implémentation du protocole OLSR (Optimized Link State Routing Protocol)
AL AGHA, Khaldoun
9.
01 janv. 2014
Logiciel
HSIM
Hyperstructure Simulator
AMAR, Patrick
10.
24 nov. 2014
Logiciel
Voeux
Gestion des services d'enseignement
AMAR, Patrick
11.
13 mai 2013
Logiciel
WXD
Editeur de textes
AMAR, Patrick
12.
01 janv. 2013
Logiciel
Touchstone
Plateforme de conception et d\'exécution d\'expérimentations contrôlées
APPERT, Caroline
13.
01 janv. 2013
Logiciel
FlowStates Toolkit
Programmer des applications interactives avec des flots de données et des machines à états
APPERT, Caroline
14.
18 févr. 2014
Logiciel
SwingStates
Une extension de Java Swing basée sur les machines à états
APPERT, Caroline
15.
01 janv. 2007
Logiciel
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
16.
06 mars 2014
Logiciel
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
17.
01 janv. 2013
Logiciel
RBT solver
Random Butterfly Transformations
BABOULIN, Marc
18.
06 mars 2014
Logiciel
SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations
BABOULIN, Marc
19.
10 févr. 2014
Logiciel
OpenScop
OpenScop
BASTOUL, Cédric
20.
16 févr. 2008
Logiciel
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
21.
20 janv. 2014
Logiciel
Candl
Chunky Dependance Analyzer
BASTOUL, Cédric
22.
03 déc. 2012
Logiciel
PoCC
the Polyhedral Compiler Collection
BASTOUL, Cédric
23.
12 avril 2012
Logiciel
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
24.
02 août 2009
Logiciel
Piplib
Parametric Integer Programming Library
BASTOUL, Cédric
25.
30 oct. 2008
Logiciel
FM
FM: the Fourier-Motzkin library
BASTOUL, Cédric
1 - 2 - 3 - 4 - 5 - 6 - 7 - Suivant [Page 1 sur 7]