Recherche
-
Ludique : une logique sans axiome d'identité
(2008-11)Document de travail - Pré-publication -
Efficient shared memory message passing for inter-VM communications
(2008-08)Document de travail - Pré-publication -
[Sans titre]
(2014-06-09)Document de travail - Pré-publication -
Fast Generation and Mixing of Random Graphs in Peer-to-Peer Networks
(2011-10-01)Document de travail - Pré-publication -
Heterogeneous Resource Allocation under Degree Constraints
Document de travail - Pré-publication -
Composabilité de codes parallèles sur architectures hétérogènes
Document de travail - Pré-publication -
On the system F as a glue language for natural-language compositional-semantics
(2011-08-24)Document de travail - Pré-publication -
A high-order finite volume cell-centered scheme for anisotropic diffusion on two-dimensional unstructured grids
(2011)Document de travail - Pré-publication -
Deciphering the language of fungal pathogen recognition receptors
(2014-10-19)Document de travail - Pré-publication -
Ordonnancements de threads dirigé par la mémoire sur architecture NUMA.
(2007)Document de travail - Pré-publication