Statistics for Certifying execution time in multicores