Certifying execution time in multicores
Rodrigues, Vítor; Akesson, Benny; Florido, Mário; de Sousa, Simão Melo; Pedroso, João Pedro; Vasconcelos, Pedro
- 期刊名称Science of Computer Programming
- 作者Rodrigues, Vítor; Akesson, Benny; Florido, Mário; de Sousa, Simão Melo; Pedroso, João Pedro; Vasconcelos, Pedro
- 印刷ISSN0167-6423
- 文件大小1273.37KB
- 发表时间2015-6
- DOI10.1016/j.scico.2015.06.006