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]

@article{RodriguesAFSPV15,
  title = {Certifying execution time in multicores},
  author = {Vitor Rodrigues and Benny Akesson and Mário Florido and Simão Melo de Sousa and João Pedro Pedroso and Pedro B. Vasconcelos},
  year = {2015},
  doi = {10.1016/j.scico.2015.06.006},
  url = {http://dx.doi.org/10.1016/j.scico.2015.06.006},
  researchr = {https://researchr.org/publication/RodriguesAFSPV15},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {111},
  pages = {505-534},
}