Upper Bounds on Memory Usage for Garbage-Collected Languages

Albert Albiol, Elvira and Genaim, Samir and Gomez Zamalloa, Miguel and Arenas Sánchez, Purificación and Puebla Sánchez, Alvaro Germán and Zanardini, Damiano (2009). Upper Bounds on Memory Usage for Garbage-Collected Languages. In: "1st Workshop on Quantitative Analysis of Software, QA'09 (co-located with CAV 2009)", 26/06/2009 - 02/07/2009, Grenoble, France.

Description

Title: Upper Bounds on Memory Usage for Garbage-Collected Languages
Author/s:
  • Albert Albiol, Elvira
  • Genaim, Samir
  • Gomez Zamalloa, Miguel
  • Arenas Sánchez, Purificación
  • Puebla Sánchez, Alvaro Germán
  • Zanardini, Damiano
Item Type: Presentation at Congress or Conference (Article)
Event Title: 1st Workshop on Quantitative Analysis of Software, QA'09 (co-located with CAV 2009)
Event Dates: 26/06/2009 - 02/07/2009
Event Location: Grenoble, France
Title of Book: Proceedings of 1st Workshop on Quantitative Analysis of Software (QA'09)
Date: 2009
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
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 (676kB) | Preview

Abstract

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.

More information

Item ID: 5695
DC Identifier: http://oa.upm.es/5695/
OAI Identifier: oai:oa.upm.es:5695
Official URL: http://www.eecs.berkeley.edu/~sseshia/qa09/
Deposited by: Memoria Investigacion
Deposited on: 13 Jan 2011 08:54
Last Modified: 20 Apr 2016 14:26
  • 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