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

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

Descripción

Título: Safe upper-bounds inference of energy consumption for java bytecode applications
Autor/es:
  • Navas, J.
  • Méndez-Lojo, Mario
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: The Sixth NASA Langley Formal Methods Workshop
Fechas del Evento: April 30 - May 2, 2008
Lugar del Evento: Virginia, USA
Título del Libro: Proceedings of the sixth NASA langley formal methods workshop
Fecha: Abril 2008
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (212kB) | Vista Previa

Resumen

Abstract is not available.

Más información

ID de Registro: 14599
Identificador DC: http://oa.upm.es/14599/
Identificador OAI: oai:oa.upm.es:14599
URL Oficial: http://shemesh.larc.nasa.gov/LFM2008/LFM2008.html
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 07 Mar 2013 07:24
Ultima Modificación: 21 Abr 2016 14:20
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM