Universidad Complutense de Madrid
E-Prints Complutense

Resource Analysis: From Sequential to Concurrent and Distributed Programs

Impacto

Downloads

Downloads per month over past year



Albert Albiol, Elvira and Arenas Sánchez, Puri and Correas Fernández, Jesús and Genaim, Samir and Gómez Zamalloa, Miguel and Martín Martín, Enrique and Puebla, Germán and 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]
Preview
PDF
334kB

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



Abstract

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.


Item Type:Conference or Workshop Item (Lecture)
Additional Information:

Lecture Notes in Computer Science. Vol. 9109

Subjects:Sciences > Computer science
Sciences > Computer science > Computer programming
ID Code:36998
Deposited On:11 Apr 2016 17:18
Last Modified:01 Jul 2016 23:01

Origin of downloads

Repository Staff Only: item control page