Recherche
-
Second order lambda calculus for meaning assembly: on the logical syntax of plurals
Communication dans un congrès -
PEPPHER: Efficient and Productive Usage of Hybrid Computing Systems
(IEEE Micro. vol. 31, n° 5, pp. 28-41, 2011)Article de revue -
Adaptation au repartitionnement de graphes d'une méthode d'optimisation globale par diffusion
Communication dans un congrès -
Network Verification via Routing Table Queries
Communication dans un congrès -
Boundary Patrolling by Mobile Agents with Distinct Maximal Speeds
Communication dans un congrès -
Interopérabilité, formats ouverts et logiciels libres
Communication dans un congrès -
Two-handed Tangible Interaction for Physically-based 3D Deformation
Communication dans un congrès -
Current challenges for parallel graph partitioning and static mapping
Communication dans un congrès -
Current challenges for parallel graph partitioning and static mapping
Communication dans un congrès -
Asynchronous deterministic rendezvous in bounded terrains
(Theoretical Computer Science. vol. 412, n° 50, pp. 6926-6937, 2011-11)Article de revue