Certifying execution time in multicores

Vitor Rodrigues, Benny Akesson, Mário Florido, Simão Melo de Sousa, João Pedro Pedroso, Pedro B. Vasconcelos. Certifying execution time in multicores. Science of Computer Programming, 111:505-534, 2015. [doi]

Bibliographies