Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (212kB) | Preview |
Safe upper-bounds inference of energy consumption for java bytecode applications
Citation
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: |
|
| 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 |
Abstract
Abstract is not available.
More information
| Item ID: | 14599 |
|---|---|
| DC Identifier: | https://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 |
