Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (676kB) | Vista Previa |
Upper Bounds on Memory Usage for Garbage-Collected Languages
Cita
Albert Albiol, Elvira, Genaim, Samir, Gomez Zamalloa, Miguel, Arenas Sánchez, Purificación, Puebla Sánchez, Alvaro Germán and Zanardini, Damiano 
ORCID: https://orcid.org/0000-0002-4202-3484
(2009).
Upper Bounds on Memory Usage for Garbage-Collected Languages.
En: "1st Workshop on Quantitative Analysis of Software, QA'09 (co-located with CAV 2009)", 26/06/2009 - 02/07/2009, Grenoble, France.
ORCID: https://orcid.org/0000-0002-4202-3484
(2009).
Upper Bounds on Memory Usage for Garbage-Collected Languages.
En: "1st Workshop on Quantitative Analysis of Software, QA'09 (co-located with CAV 2009)", 26/06/2009 - 02/07/2009, Grenoble, France.
Descripción
| Título: | Upper Bounds on Memory Usage for Garbage-Collected Languages |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | 1st Workshop on Quantitative Analysis of Software, QA'09 (co-located with CAV 2009) |
| Fechas del Evento: | 26/06/2009 - 02/07/2009 |
| Lugar del Evento: | Grenoble, France |
| Título del Libro: | Proceedings of 1st Workshop on Quantitative Analysis of Software (QA'09) |
| Fecha: | 2009 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Lenguajes y Sistemas Informáticos e Ingeniería del Software |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
Cost Analysis is the automatic study of program efficiency (or the resource consumption). ◮ Its aim is to statically estimate the cost of a program execution in terms of the size of its input args. Cost Analysis is the automatic study of program efficiency (or the resource consumption). ◮ Its aim is to statically estimate the cost of a program execution in terms of the size of its input args. The cost can be defined w.r.t. different cost models: ◮ number of instructions executed ◮ memory allocated ◮ number calls to certain methods: billable events on a mobile.
Más información
| ID de Registro: | 5695 |
|---|---|
| Identificador DC: | https://oa.upm.es/5695/ |
| Identificador OAI: | oai:oa.upm.es:5695 |
| URL Oficial: | http://www.eecs.berkeley.edu/~sseshia/qa09/ |
| Depositado por: | Memoria Investigacion |
| Depositado el: | 13 Ene 2011 08:54 |
| Ultima Modificación: | 20 Abr 2016 14:26 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
