Observatorio de I+D+i UPM

Memorias de investigación
KNOW-HOW:
PUBS: A Practical Upper Bounds Solver
Year:2008
Research Areas
  • Programming language
Information
Abstract
The goal of PUBS is to automatically obtain closed form upper bounds for Cost Equation Systems. For this, PUBS computs upper bounds for the cost relation indicated as the Entry, plus for all other cost relations on which such entry depends.
International
Si
Licensee
Participants
  • Autor: Elvira Albert Albiol (UPM)
  • Autor: Samir Genaim . (UPM)
  • Autor: Purificación Arenas Sánchez (UPM)
  • Autor: Alvaro German Puebla Sanchez (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
  • Departamento: Inteligencia Artificial
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)