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

SomeWhere
Calcul de conséquences en pair-à-pair

GOASDOUE, François

40.

01 janv. 2010

Logiciel

Mash-WP6
Goal planning framework

TEYTAUD, Olivier

41.

01 janv. 2010

Logiciel

Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library

TEYTAUD, Olivier

42.

01 janv. 2010

Logiciel

Qolyester
Implémentation du protocole OLSR (Optimized Link State Routing Protocol)

AL AGHA, Khaldoun

43.

01 janv. 2010

Logiciel

SomeWhere+
Calcul paraconsistant de conséquents en mode pair à pair

CHATALIC, Philippe

44.

01 janv. 2010

Logiciel

Unisim
UNISIM: UNIted SIMulation environment

TEMAM, Olivier

45.

01 janv. 2010

Logiciel

BPEL2CPN
BPEL2CPN

DAGUE, Philippe

46.

01 janv. 2010

logiciel

CAPSULE
CAPSULE

TEMAM, Olivier

47.

01 janv. 2010

logiciel

Polyhedral Transformation in Open64
Polyhedral Transformation in Open64

TEMAM, Olivier

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

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude