Search
-
Comparison of high order algorithms in Aerosol and Aghora for compressible flows
(ESAIM: Proceedings. vol. 43, pp. 1-16, 2013-12)Article de revue -
MIL : A language to build program analysis tools through static binary instrumentation
Communication dans un congrès -
Process Placement in Multicore Clusters: Algorithmic Issues and Practical Techniques
(IEEE Transactions on Parallel and Distributed Systems. vol. 25, n° 4, pp. 993 - 1002, 2014)Article de revue -
Comprendre le système le plus complexe de notre planète ?
(Mathématiques de la Planète Terre, un jour une brève, 2013-12-04)Article de revue -
Hydra: Automatic algorithm exploration from linear algebra equations
Communication dans un congrès -
A Server Consolidation Problem: Definition and Model
Communication dans un congrès -
Combining Static and Dynamic Validation of MPI Collective Communication
Communication dans un congrès -
Gathering radio messages in the path
(Discrete Mathematics, Algorithms and Applications. vol. 5, n° 1, pp. 1-28, 2013-03)Article de revue -
Physics-compatible numerical methods
(Journal of Computational Physics. vol. 257, pp. 1039, 2014-01-16)Article de revue -
Computing Without Communicating: Ring Exploration by Asynchronous Oblivious Robots
(Algorithmica. vol. 65, n° 3, pp. 562-583, 2013-03)Article de revue