Upper Bounds on Memory Usage for Garbage-Collected Languages

Albert Albiol, Elvira; Genaim, Samir; Gomez Zamalloa, Miguel; Arenas Sánchez, Purificación; Puebla Sánchez, Alvaro Germán y Zanardini, Damiano (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:
  • Albert Albiol, Elvira
  • Genaim, Samir
  • Gomez Zamalloa, Miguel
  • Arenas Sánchez, Purificación
  • Puebla Sánchez, Alvaro Germán
  • Zanardini, Damiano
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:
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

Texto completo

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

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: http://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
  • 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