Symbolic polynomial maximization over convex sets and its application to memory requirement estimation

Memory requirement estimation is an important issue in the development of embedded systems, since memory directly influences performance, cost and power consumption. It is therefore crucial to have tools that automatically compute accurate estimates of the memory requirements of programs to better c...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Clauss, P., Fernández, F.J., Garbervetsky, D., Verdoolaege, S.
Formato: JOUR
Materias:
Bernstein expansion
Convex polytopes
Memory requirement
Program optimization
Static program analysis
Amber
Embedded systems
Optimization
Polynomials
Set theory
Topology
Convex optimization
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_10638210_v17_n8_p983_Clauss
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares