Search
-
Intensional Models for the Theory of Types
(The Journal of Symbolic Logic. vol. 72, n° 1, pp. 98--118, 2007)Article de revue -
Separating Syntax and Combinatorics in Categorial Grammar
(Research on Language and Computation. vol. 5, n° 3, pp. 267--285, 2007)Article de revue -
Recognizability in the Simply Typed Lambda-Calculus
Communication dans un congrès -
StarPU : un support exécutif unifié pour les architectures multicoeurs hétérogènes
Communication dans un congrès -
Une stratégie efficace pour le placement de processus en environnement multicœur
Communication dans un congrès -
Programming the grid with components: models and runtime issues
(American Scientific Publishers, 2006-01)Chapitre d'ouvrage -
Meta-communications in Component-base Communication Frameworks for Grids
(Cluster Computing. vol. 10, n° 3, pp. 253-263, 2007-06)Article de revue -
Achieving Portable and Efficient Parallel CORBA Objects
(Concurrency and Computation: Practice and Experience. vol. 15, n° 10, pp. 891-909, 2003-08)Article de revue -
PT-Scotch: A tool for efficient parallel graph ordering
Communication dans un congrès -
Graph Algorithms for Improving Type-Logical Proof Search
Communication dans un congrès