Memorias de investigación
KNOW-HOW:
PUBS: A Practical Upper Bounds Solver
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
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.
Internacional
Si
Licenciatario
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Elvira Albert Albiol UPM
  • Autor: Samir Genaim . UPM
  • Autor: Purificación Arenas Sánchez UPM
  • Autor: Alvaro German Puebla Sanchez UPM
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • 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