External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Certifying Execution Time

Vitor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa. Certifying Execution Time. In Ricardo Peña, Marko C. J. D. van Eekelen, Olha Shkaravska, editors, Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Volume 7177 of Lecture Notes in Computer Science, pages 108-125, Springer, 2011. [doi]

Authors

Vitor Rodrigues

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

João Pedro Pedroso

This author has not been identified. Look up 'João Pedro Pedroso' 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
runs on