1.8k citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- National Institute of InformaticsJP38 papers
- Centre National de la Recherche ScientifiqueFR28 papers
- International Research Center for Japanese StudiesJP16 papers
- Sorbonne UniversitéFR13 papers
- The University of TokyoJP13 papers
- LIP6FR11 papers
- Nantes UniversitéFR11 papers
- Laboratoire des Sciences du Numérique de NantesFR7 papers
- Laboratoire d'Informatique de Paris-NordFR7 papers
- Université Sorbonne Paris NordFR7 papers
- The Graduate University for Advanced Studies, SOKENDAIJP5 papers
- University of EdinburghGB5 papers
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2024★ 10 cited
Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search
Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet
This paper presents a detailed analysis of the scalability and parallelization of local search algorithms for the Satisfiability problem. We propose a framework to estimate the par…
cs.DC2012★ 14 cited
Prediction of Parallel Speed-ups for Las Vegas Algorithms
Charlotte Truchet, Florian Richoux, Philippe Codognet
We propose a probabilistic model for the parallel execution of Las Vegas algorithms, i.e., randomized algorithms whose runtime might vary from one execution to another, even with t…