1.

11/fév/2010

Logiciel

CELL-MPI
Cadriciel MPI pour le processeur CELL

FALCOU, M. Joël

2.

12/nov/2009

Brevet

NPI 09 58 890
Procédé de routage qualitatif dans un réseau de communication multi sauts, équipement de gestion de nœud de réseau

AL AGHA, M. Khaldoun

3.

15/aoû/2009

Logiciel

PoCC
the Polyhedral Compiler Collection

POUCHET, M. Louis-Noel

4.

09/jui/2009

Logiciel

RUKIA
Random Uniform walK In Automata

OUDINET, M. Johan

5.

24/mar/2009

Logiciel

Rna3Dmotif
Rna3Dmotif : Software for extracting RNA tertiary motifs

DJELLOUL, Mlle Mahassine

6.

02/déc/2008

Logiciel

Why
La plateforme Why

FILLIÂTRE, M. Jean-Christophe

7.

01/nov/2008

Logiciel

Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles

MELQUIOND, M. Guillaume

8.

28/oct/2008

Logiciel

Mlpost
Mlpost, une interface Objective Caml pour Metapost

FILLIÂTRE, M. Jean-Christophe

9.

01/oct/2008

Logiciel

Covariance Matrix Evolution Strategy Implementatio
Covariance Matrix Evolution Strategy Implementations

HANSEN, M. Nikolaus

10.

01/sep/2008

Logiciel

APMC
Approximate Probabilistic Model Checker

PEYRONNET, M. Sylvain

11.

01/sep/2008

Logiciel

HOL-OCL
Un systeme de preuve pour UML/OCL

WOLFF, M. Burkhart

12.

01/sep/2008

Logiciel

HOL-TestGen
Un generateur pour des donnees de test sur base de HOL

WOLFF, M. Burkhart

13.

01/jui/2008

Logiciel

GenoQuery
GenoQuery: Querying genomic data warehouse

FROIDEVAUX, Mme Christine

14.

01/jui/2008

Logiciel

NestedAlign
NestedAlign: Pairwise RNA secondary structure comparison

DENISE, M. Alain

15.

24/jun/2008

Logiciel

Gappa
Outil Gappa de certification de programmes numériques

MELQUIOND, M. Guillaume

16.

01/mai/2008

Logiciel

Frama-C
Framework for Modular Analysis of C

MARCHÉ, M. Claude

17.

30/avr/2008

Logiciel

Clan
Chunky Loop Analyzer

BASTOUL, M. Cédric

18.

15/avr/2008

Logiciel

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee: Detecting and visualising Sequential Nuggets of Knowledge

RANCE, M. Bastien

19.

02/fév/2008

Logiciel

FM
FM: the Fourier-Motzkin library

POUCHET, M. Louis-Noel

20.

02/fév/2008

Logiciel

GCC ICI
GCC Interactive Compilation Interface

FURSIN, M. Grigori

21.

02/fév/2008

Logiciel

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

POUCHET, M. Louis-Noel

22.

02/fév/2008

Logiciel

Piplib
Parametric Integer Programming Library

BASTOUL, M. Cédric

23.

07/jan/2008

Logiciel

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, M. Laurent

24.

01/jan/2008

Logiciel

CDuce
CDuce an XML centric Functional Programmimg Lamguage

BENZAKEN, Mme Véronique

25.

11/oct/2007

Logiciel

VARNA
VARNA: Visualisation Applet for RNA

DENISE, M. Alain