151.

05 mai 2008

Logiciel

XtremWeb
plateforme de calcul global pair à pair

CAPPELLO, Franck

152.

01 janv. 2014

Logiciel

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

153.

01 janv. 2014

Logiciel

AMADA
Web Data Repositories in the Amazon Cloud

CAMACHO RODRIGUEZ, Jesus

154.

01 janv. 2015

Logiciel

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

155.

02 déc. 2019

Logiciel

CARTOLABE
CARTOLABE

CAILLOU, Philippe

156.

14 juil. 2007

Logiciel

SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics

BREDECHE, Nicolas

157.

01 sept. 2016

Logiciel

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

158.

22 sept. 2017

Brevet

Synchro CORAC
Procédé de synchronisation pour systèmes critiques

BOULANGER, Frédéric

159.

20 avril 2018

Logiciel

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

160.

17 juil. 2014

Logiciel

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric

161.

01 janv. 2013

Logiciel

Pff library
Pff library

BOLDO, Sylvie

162.

03 oct. 2012

Logiciel

Coq.FP2
Coq.FP2

BOLDO, Sylvie

163.

10 janv. 2014

Logiciel

Flocq Library
Flocq Library

BOLDO, Sylvie

164.

07 sept. 2017

Logiciel

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

165.

01 janv. 2013

Logiciel

XPUQ
XML Partitioning for Updates and Queries

BIDOIT, Nicole

166.

10 févr. 2012

Logiciel

CDuce
CDuce an XML centric Functional Programmimg Language

BENZAKEN, Véronique

167.

01 janv. 2013

Logiciel

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

168.

10 juil. 2015

Logiciel

WildOS
Middleware pour salles interactives

BEAUDOUIN-LAFON, Michel

169.

01 janv. 2014

Logiciel

GlideCursor
Intertial cursor

BEAUDOUIN-LAFON, Michel

170.

01 janv. 2013

Logiciel

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

171.

02 août 2009

Logiciel

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

172.

30 oct. 2008

Logiciel

FM
FM: the Fourier-Motzkin library

BASTOUL, Cédric

173.

20 janv. 2014

Logiciel

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

174.

11 oct. 2013

Logiciel

CLooG
Chunky Loop Generator

BASTOUL, Cédric

175.

07 nov. 2013

Logiciel

Clay
Clay

BASTOUL, Cédric