Towards resource usage analysis of miniZinc models

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

Descripción

Título: Towards resource usage analysis of miniZinc models
Autor/es:
  • Bueno Carrillo, Francisco
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
  • López García, Pedro
  • Mera, E.
  • Stuckey, P.J.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: The 1st International Workshop on MiniZinc (MZN 2011)
Fechas del Evento: 12 September 2011
Lugar del Evento: Perugia, Italy
Título del Libro: MiniZinc Workshop (MZN'11)
Fecha: Septiembre 2011
Materias:
Palabras Clave Informales: 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.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
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 (849kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14578
Identificador DC: http://oa.upm.es/14578/
Identificador OAI: oai:oa.upm.es:14578
URL Oficial: http://software.imdea.org/es/research/publications.html
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 02 Mar 2013 06:59
Ultima Modificación: 21 Abr 2016 14:18
  • 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