76.

2004 - 2008

Contrat europeen

DELOS
FP6 DELOS Network of Excellence for Digital Libraries

77.

2006 - 2009

CIFRE

CIFRE ATHIS (PAULIN)
Thèse Yannick MOY - Analyse des usages de la mémoire dynamique dans des codes C embarqués

78.

2006 - 2009

Contrat europeen

QOSCOSGRID
Quasi Opportunistic Supercomputing for Complex Systems in Grid Environments

79.

2008 - 2009

DIGITEO

ICI-TV
INRIA-CEA Interactive Television

80.

2005 - 2009

ANR

ALGOQP
Algorithmique et Complexité Quantique et Probabiliste

81.

2006 - 2009

ANR

Web-Content
Plate-forme flexible et generique pour la gestion de contenus et l'integration des technologies du Web Semantique

82.

2005 - 2009

ANR

Dsslab
Plate-forme d'expérimentation pour les systèmes distribués à large échelle sur Internet haut-débit

83.

2005 - 2009

ANR

CerPAN
Certification de Programmes d'Analyse Numérique

84.

2005 - 2009

ANR

A3PAT
Assister Automatiquement les Assistants de Preuve avec des Traces

85.

2005 - 2009

ANR

MICROBIOGENOMICS
Extraction optimisée d'informations pertinentes à partir de données complexes et hétérogènes issues de comparaisons génomiques

86.

2005 - 2009

Subvention

ALPAGE
Algorithmique des plates-formes à grande échelle

87.

2007 - 2009

Industriel

PFC
Plates-formes de confiance

88.

2005 - 2009

ANR

SOGEA
Security Of Games. Equilibria and distributed Algorithms.

89.

2005 - 2009

ANR

CAT
C Analysis Toolbox

90.

2006 - 2009

ANR

DIAFORE
DIAgnostic de FOnctions REparties

91.

2007 - 2009

Industriel

GENCOD
GENCOD

92.

2006 - 2009

Contrat europeen

EvoTest
Evolutionary Testing

93.

2006 - 2009

Industriel

CARRIOCAS
CARRIOCAS

94.

2005 - 2009

Contrat europeen

QAP
Qubit Applications

95.

2006 - 2009

ANR

Brasero
Biologically Relevant Algorithms and Softwares for Efficient RNA Structure Comparison

96.

2006 - 2009

Contrat europeen

GENNETEC
GENetic NETworks: Emergence and Complexity

97.

2006 - 2009

ANR

OCARI
Optimisation des Communications Ad hoc pour les Réseaux Industriels

98.

2006 - 2009

ANR

SARAH
Services Avancés pour Réseaux Ad Hoc

99.

2005 - 2009

ANR

WEBCONTENT
La Plateforme du Web Sémantique

100.

2008 - 2009

Subvention

HSP
Le probleme du sous-groupe caché en calcul quantique