21 citations · 40 across the 12 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018
An Approximation-based Approach for the Random Exploration of Large Models
Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko
System modeling is a classical approach to ensure their reliability since it is suitable both for a formal verification and for software testing techniques. In the context of model…
cs.PF2018
A Markov Chain Monte Carlo Approach to Cost Matrix Generation for Scheduling Performance Evaluation
Louis-Claude Canon, Mohamad El Sayah, Pierre-Cyrille Héam
In high performance computing, scheduling of tasks and allocation to machines is very critical especially when we are dealing with heterogeneous execution costs. Simulations can be…