output
20032014
most citedTesting bibliometric indicators by their prediction of scientists promotions

93 citations

researchers with a paper here
collaborating institutions
Showing 2013Show all

6 papers · 1 filter

cs.DC2013★ 2 cited

GPU accelerated maximum cardinality matching algorithms for bipartite graphs

Mehmet Deveci, Kamer Kaya, Bora Ucar +1

We design, implement, and evaluate GPU-based algorithms for the maximum cardinality matching problem in bipartite graphs. Such algorithms have a variety of applications in computer…

cs.PL2013★ 10 cited

PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs

Riyadh Baghdadi, Albert Cohen, Serge Guelton +9

We motivate the design and implementation of a platform-neutral compute intermediate language (PENCIL) for productive and performance-portable accelerator programming.

cs.DC2013

Checkpointing strategies with prediction windows

Guillaume Aupy, Yves Robert, Frédéric Vivien +1

This paper deals with the impact of fault prediction techniques on checkpointing strategies. We suppose that the fault-prediction system provides prediction windows instead of exac…

cs.DS2013★ 2 cited

Energy-aware checkpointing of divisible tasks with soft or hard deadlines

Guillaume Aupy, Anne Benoit, Rami Melhem +2

In this paper, we aim at minimizing the energy consumption when executing a divisible workload under a bound on the total execution time, while resilience is provided through check…

cs.LO2013★ 7 cited

Kleene Algebra with Tests and Coq Tools for While Programs

Damien Pous

We present a Coq library about Kleene algebra with tests, including a proof of their completeness over the appropriate notion of languages, a decision procedure for their equationa…

cs.DM2013★ 1 cited

Kadanoff Sand Piles, following the snowball

Kévin Perrot, Eric Rémila

This paper is about cubic sand grains moving around on nicely packed columns in one dimension (the physical sand pile is two dimensional, but the support of sand columns is one dim…