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. 2011
Logiciel
AnnoVip
AnnoVip
MANOLESCU-GOUJOT, Ioana
152.
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
153.
18 mai 2010
Logiciel
JFresnel
A Java library that implements the Fresnel specification
PIETRIGA, Emmanuel
154.
01 janv. 2010
Logiciel
BPEL2CPN
BPEL2CPN
DAGUE, Philippe
155.
01 janv. 2010
Logiciel
Qolyester
Implémentation du protocole OLSR (Optimized Link State Routing Protocol)
AL AGHA, Khaldoun
156.
01 janv. 2010
logiciel
CAPSULE
CAPSULE
TEMAM, Olivier
157.
01 janv. 2010
logiciel
Polyhedral Transformation in Open64
Polyhedral Transformation in Open64
TEMAM, Olivier
158.
01 janv. 2010
Logiciel
SomeWhere+
Calcul paraconsistant de conséquents en mode pair à pair
CHATALIC, Philippe
159.
01 janv. 2010
Logiciel
Mash-WP6
Goal planning framework
TEYTAUD, Olivier
160.
01 janv. 2010
Logiciel
Unisim
UNISIM: UNIted SIMulation environment
TEMAM, Olivier
161.
01 janv. 2010
Logiciel
Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library
TEYTAUD, Olivier
162.
01 janv. 2010
Logiciel
SomeWhere
Calcul de conséquences en pair-à-pair
GOASDOUE, François
163.
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
164.
01 nov. 2009
Logiciel
GUIDE
A Graphical User Interface for EA C++ library developpment
SCHOENAUER, Marc
165.
01 sept. 2009
Logiciel
CELL-MPI
Cadriciel MPI pour le processeur CELL
FALCOU, Joël
166.
24 août 2009
Logiciel
Núcleo
Boîte à outils núcleo
CHAPUIS, Olivier
167.
07 août 2009
Logiciel
NestedAlign
Pairwise RNA secondary structure comparison
DENISE, Alain
168.
02 août 2009
Logiciel
Piplib
Parametric Integer Programming Library
BASTOUL, Cédric
169.
01 août 2009
Logiciel
MESAM
MESAM
REYNAUD, Chantal
170.
24 avril 2009
Logiciel
TARGET
Adaptative ontology-based Web search framework
REYNAUD, Chantal
171.
11 mars 2009
Logiciel
GCC ICI
GCC Interactive Compilation Interface
FURSIN, Grigori
172.
30 oct. 2008
Logiciel
FM
FM: the Fourier-Motzkin library
BASTOUL, Cédric
173.
09 juil. 2008
Logiciel
Active XML
Spécification déclarative d'applications Web
ABITEBOUL, Serge
174.
01 juil. 2008
Logiciel
GenoQuery
Querying genomic data warehouse
FROIDEVAUX, Christine
175.
16 juin 2008
Logiciel
Le Système HOL-Z
Un système de preuve pour la Méthode Z
WOLFF, Burkhart
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 7 sur 9]