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

Navas, J. and Méndez-Lojo, Mario and Hermenegildo, Manuel V. (2008). Safe upper-bounds inference of energy consumption for java bytecode applications. In: "The Sixth NASA Langley Formal Methods Workshop", April 30 - May 2, 2008, Virginia, USA.

Description

Title: Safe upper-bounds inference of energy consumption for java bytecode applications
Author/s:
  • Navas, J.
  • Méndez-Lojo, Mario
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: The Sixth NASA Langley Formal Methods Workshop
Event Dates: April 30 - May 2, 2008
Event Location: Virginia, USA
Title of Book: Proceedings of the sixth NASA langley formal methods workshop
Date: April 2008
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (212kB) | Preview

Abstract

Abstract is not available.

More information

Item ID: 14599
DC Identifier: http://oa.upm.es/14599/
OAI Identifier: oai:oa.upm.es:14599
Official URL: http://shemesh.larc.nasa.gov/LFM2008/LFM2008.html
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 07 Mar 2013 07:24
Last Modified: 21 Apr 2016 14:20
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM