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
126.
01 janv. 2010
Logiciel
SomeWhere
Calcul de conséquences en pair-à-pair
GOASDOUE, François
127.
01 janv. 2010
Logiciel
Qolyester
Implémentation du protocole OLSR (Optimized Link State Routing Protocol)
AL AGHA, Khaldoun
128.
01 janv. 2010
Logiciel
Unisim
UNISIM: UNIted SIMulation environment
TEMAM, Olivier
129.
01 janv. 2010
Logiciel
BPEL2CPN
BPEL2CPN
DAGUE, Philippe
130.
01 janv. 2010
Logiciel
Mash-WP6
Goal planning framework
TEYTAUD, Olivier
131.
01 janv. 2010
logiciel
CAPSULE
CAPSULE
TEMAM, Olivier
132.
01 janv. 2010
Logiciel
SomeWhere+
Calcul paraconsistant de conséquents en mode pair à pair
CHATALIC, Philippe
133.
01 janv. 2010
Logiciel
Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library
TEYTAUD, Olivier
134.
01 janv. 2010
logiciel
Polyhedral Transformation in Open64
Polyhedral Transformation in Open64
TEMAM, Olivier
135.
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
136.
01 nov. 2009
Logiciel
GUIDE
A Graphical User Interface for EA C++ library developpment
SCHOENAUER, Marc
137.
01 sept. 2009
Logiciel
CELL-MPI
Cadriciel MPI pour le processeur CELL
FALCOU, Joël
138.
24 août 2009
Logiciel
Núcleo
Boîte à outils núcleo
CHAPUIS, Olivier
139.
07 août 2009
Logiciel
NestedAlign
Pairwise RNA secondary structure comparison
DENISE, Alain
140.
02 août 2009
Logiciel
Piplib
Parametric Integer Programming Library
BASTOUL, Cédric
141.
01 août 2009
Logiciel
MESAM
MESAM
REYNAUD, Chantal
142.
24 avril 2009
Logiciel
TARGET
Adaptative ontology-based Web search framework
REYNAUD, Chantal
143.
11 mars 2009
Logiciel
GCC ICI
GCC Interactive Compilation Interface
FURSIN, Grigori
144.
30 oct. 2008
Logiciel
FM
FM: the Fourier-Motzkin library
BASTOUL, Cédric
145.
09 juil. 2008
Logiciel
Active XML
Spécification déclarative d'applications Web
ABITEBOUL, Serge
146.
01 juil. 2008
Logiciel
GenoQuery
Querying genomic data warehouse
FROIDEVAUX, Christine
147.
16 juin 2008
Logiciel
Le Système HOL-Z
Un système de preuve pour la Méthode Z
WOLFF, Burkhart
148.
05 mai 2008
Logiciel
XtremWeb
plateforme de calcul global pair à pair
CAPPELLO, Franck
149.
15 avril 2008
Logiciel
Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee: Detecting and visualising Sequential Nuggets of Knowledge
FROIDEVAUX, Christine
150.
16 févr. 2008
Logiciel
LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator
BASTOUL, Cédric
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - Suivant [Page 6 sur 7]