Towards resource usage analysis of miniZinc models

Bueno Carrillo, Francisco and García de la Banda, M. and Hermenegildo, Manuel V. and López García, Pedro and Mera, E. and Stuckey, P.J. (2011). Towards resource usage analysis of miniZinc models. In: "The 1st International Workshop on MiniZinc (MZN 2011)", 12 September 2011, Perugia, Italy.

Description

Title: Towards resource usage analysis of miniZinc models
Author/s:
  • Bueno Carrillo, Francisco
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
  • López García, Pedro
  • Mera, E.
  • Stuckey, P.J.
Item Type: Presentation at Congress or Conference (Article)
Event Title: The 1st International Workshop on MiniZinc (MZN 2011)
Event Dates: 12 September 2011
Event Location: Perugia, Italy
Title of Book: MiniZinc Workshop (MZN'11)
Date: September 2011
Subjects:
Freetext Keywords: Resource usage analysis, Constraint modeling languages, Constraint programming, Complexity analysis, Análisis del uso de los recursos, Lenguajes de modelado con restricciones, Progrmación restringida, Análisis de complejidad.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
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 (849kB) | Preview

Abstract

We present a method for the static resource usage analysis of MiniZinc models. The analysis can infer upper bounds on the usage that a MiniZinc model will make of some resources such as the number of constraints of a given type (equality, disequality, global constraints, etc.), the number of variables (search variables or temporary variables), or the size of the expressions before calling the solver. These bounds are obtained from the models independently of the concrete input data (the instance data) and are in general functions of sizes of such data. In our approach, MiniZinc models are translated into Ciao programs which are then analysed by the CiaoPP system. CiaoPP includes a parametric analysis framework for resource usage in which the user can define resources and express the resource usage of library procedures (and certain program construets) by means of a language of assertions. We present the approach and report on a preliminary implementation, which shows the feasibility of the approach, and provides encouraging results.

More information

Item ID: 14578
DC Identifier: http://oa.upm.es/14578/
OAI Identifier: oai:oa.upm.es:14578
Official URL: http://software.imdea.org/es/research/publications.html
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 02 Mar 2013 06:59
Last Modified: 21 Apr 2016 14:18
  • 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