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
26.
16 juin 2008
Logiciel
Le Système HOL-Z
Un système de preuve pour la Méthode Z
WOLFF, Burkhart
27.
01 juil. 2008
Logiciel
GenoQuery
Querying genomic data warehouse
FROIDEVAUX, Christine
28.
09 juil. 2008
Logiciel
Active XML
Spécification déclarative d'applications Web
ABITEBOUL, Serge
29.
30 oct. 2008
Logiciel
FM
FM: the Fourier-Motzkin library
BASTOUL, Cédric
30.
11 mars 2009
Logiciel
GCC ICI
GCC Interactive Compilation Interface
FURSIN, Grigori
31.
24 avril 2009
Logiciel
TARGET
Adaptative ontology-based Web search framework
REYNAUD, Chantal
32.
01 août 2009
Logiciel
MESAM
MESAM
REYNAUD, Chantal
33.
02 août 2009
Logiciel
Piplib
Parametric Integer Programming Library
BASTOUL, Cédric
34.
07 août 2009
Logiciel
NestedAlign
Pairwise RNA secondary structure comparison
DENISE, Alain
35.
24 août 2009
Logiciel
Núcleo
Boîte à outils núcleo
CHAPUIS, Olivier
36.
01 sept. 2009
Logiciel
CELL-MPI
Cadriciel MPI pour le processeur CELL
FALCOU, Joël
37.
01 nov. 2009
Logiciel
GUIDE
A Graphical User Interface for EA C++ library developpment
SCHOENAUER, Marc
38.
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
39.
01 janv. 2010
logiciel
CAPSULE
CAPSULE
TEMAM, Olivier
40.
01 janv. 2010
logiciel
Polyhedral Transformation in Open64
Polyhedral Transformation in Open64
TEMAM, Olivier
41.
01 janv. 2010
Logiciel
SomeWhere+
Calcul paraconsistant de conséquents en mode pair à pair
CHATALIC, Philippe
42.
01 janv. 2010
Logiciel
Mash-WP6
Goal planning framework
TEYTAUD, Olivier
43.
01 janv. 2010
Logiciel
Unisim
UNISIM: UNIted SIMulation environment
TEMAM, Olivier
44.
01 janv. 2010
Logiciel
Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library
TEYTAUD, Olivier
45.
01 janv. 2010
Logiciel
SomeWhere
Calcul de conséquences en pair-à-pair
GOASDOUE, François
46.
01 janv. 2010
Logiciel
Qolyester
Implémentation du protocole OLSR (Optimized Link State Routing Protocol)
AL AGHA, Khaldoun
47.
01 janv. 2010
Logiciel
BPEL2CPN
BPEL2CPN
DAGUE, Philippe
48.
18 mai 2010
Logiciel
JFresnel
A Java library that implements the Fresnel specification
PIETRIGA, Emmanuel
49.
23 nov. 2010
Brevet
FR 2967800 - Cell-MPI brevet
Procédé de synchronisation et de transfert de données entre des processeurs reliés par des canaux DMA
FALCOU, Joël
50.
01 janv. 2011
Logiciel
TaxoMap Refinement
TaxoMap Refinement
REYNAUD, Chantal
Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 2 sur 9]