Universidad Complutense de Madrid
E-Prints Complutense

Resource Analysis: From Sequential to Concurrent and Distributed Programs

Impacto

Descargas

Último año



Albert Albiol, Elvira y Arenas Sánchez, Puri y Correas Fernández, Jesús y Genaim, Samir y Gómez Zamalloa, Miguel y Martín Martín, Enrique y Puebla, Germán y Román Díez, Guillermo (2015) Resource Analysis: From Sequential to Concurrent and Distributed Programs. In FM 2015: Formal Methods, June 24–26, 2015, Oslo, Norway.

[img]
Vista previa
PDF
334kB

URL Oficial: http://link.springer.com/chapter/10.1007/978-3-319-19249-9_1



Resumen

Resource analysis aims at automatically inferring upper/lower bounds on the worst/best-case cost of executing programs. Ideally, a resource analyzer should be parametric on the cost model, i.e., the type of cost that the user wants infer (e.g., number of steps, amount of memory allocated, amount of data transmitted, etc.). The inferred upper bounds have important applications in the fields of program optimization, verification and certification. In this talk, we will review the basic techniques used in resource analysis of sequential programs and the new extensions needed to handle concurrent and distributed systems.


Tipo de documento:Ponencia o Póster de Seminario, Congreso,etc (Ponencia)
Información Adicional:

Lecture Notes in Computer Science. Vol. 9109

Materias:Ciencias > Informática
Ciencias > Informática > Programación de ordenadores
Código ID:36998
Depositado:11 Abr 2016 17:18
Última Modificación:01 Jul 2016 23:01

Descargas en el último año

Sólo personal del repositorio: página de control del artículo