Safe upper-bounds inference of energy consumption for java bytecode applications


Autoria(s): Navas, J.; Méndez-Lojo, Mario; Hermenegildo, Manuel V.
Data(s)

01/04/2008

Resumo

Abstract is not available.

Formato

application/pdf

Identificador

http://oa.upm.es/14599/

Idioma(s)

eng

Publicador

Facultad de Informática (UPM)

Relação

http://oa.upm.es/14599/1/HERME_REFWORKS_2008-4.pdf

http://shemesh.larc.nasa.gov/LFM2008/LFM2008.html

Direitos

http://creativecommons.org/licenses/by-nc-nd/3.0/es/

info:eu-repo/semantics/openAccess

Fonte

Proceedings of the sixth NASA langley formal methods workshop | The Sixth NASA Langley Formal Methods Workshop | April 30 - May 2, 2008 | Virginia, USA

Palavras-Chave #Informática
Tipo

info:eu-repo/semantics/conferenceObject

Ponencia en Congreso o Jornada

PeerReviewed