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]

Authors

Vitor Rodrigues

This author has not been identified. Look up 'Vitor Rodrigues' in Google

Benny Akesson

This author has not been identified. Look up 'Benny Akesson' in Google

Mário Florido

This author has not been identified. Look up 'Mário Florido' in Google

Simão Melo de Sousa

This author has not been identified. Look up 'Simão Melo de Sousa' in Google

João Pedro Pedroso

This author has not been identified. Look up 'João Pedro Pedroso' in Google

Pedro B. Vasconcelos

This author has not been identified. Look up 'Pedro B. Vasconcelos' in Google