126.

01 janv. 2014

Logiciel

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

127.

01 janv. 2013

Logiciel

Pff library
Pff library

BOLDO, Sylvie

128.

01 janv. 2015

Logiciel

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

129.

22 mars 2018

Logiciel

Pint
Static analyzer for dynamics of Automata Networks

PAULEVE, Loïc

130.

02 août 2009

Logiciel

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

131.

03 déc. 2012

Logiciel

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

132.

25 nov. 2012

Logiciel

POI-HELPER
Un service d'extraction de données issues de réseaux sociaux

REYNAUD, Chantal

133.

01 janv. 2010

logiciel

Polyhedral Transformation in Open64
Polyhedral Transformation in Open64

TEMAM, Olivier

134.

01 janv. 2007

Logiciel

Program
Program : un langage de programmation avec types dépendants dans Coq

PAULIN-MOHRING, Christine

135.

01 janv. 2013

Logiciel

PVC
Cluster virtuel Privé

CAPPELLO, Franck

136.

01 janv. 2010

Logiciel

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

AL AGHA, Khaldoun

137.

16 août 2014

Logiciel

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

138.

01 juil. 2015

Logiciel

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

139.

01 janv. 2013

Logiciel

RDFViews
RDFViews

MANOLESCU-GOUJOT, Ioana

140.

08 janv. 2014

Logiciel

ReactiveML
le langage ReactiveML

MANDEL, Louis

141.

25 juil. 2012

Logiciel

REISA
Controlled Knowledge Base Enrichment from Web documents

PERNELLE-MANSCOUR, Nathalie

142.

09 mars 2018

Logiciel

RiseClipse
IDM pour les standards de l'IEC

MARCADET, Dominique

143.

01 janv. 2013

Logiciel

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

144.

01 janv. 2011

Logiciel

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude

145.

01 déc. 2017

Logiciel

Sage-Combinat
Améliorer les fonctionnalités combinatoires de Sage

THIÉRY, Nicolas

146.

01 déc. 2017

Logiciel

SageMath
Un logiciel open-source de mathématiques générales

THIÉRY, Nicolas

147.

01 janv. 2014

Logiciel

SAKey
Outil efficace de découverte automatique de presque-clés dans les données RDF

PERNELLE-MANSCOUR, Nathalie

148.

01 janv. 2007

Logiciel

sALLUSTe
Test Statistique de programmes Lustre

GAUDEL, Marie-Claude

149.

31 janv. 2017

Logiciel

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAFAR, Brigitte

150.

01 janv. 2013

Logiciel

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel