Safe upper-bounds inference of energy consumption for java bytecode applications
| Data(s) |
01/04/2008
|
|---|---|
| Resumo |
Abstract is not available. |
| Formato |
application/pdf |
| Identificador | |
| 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 |
