RT Conference Proceedings
T1 Resource Analysis: From Sequential to Concurrent and Distributed Programs
A1 Albert Albiol, Elvira María
A1 Arenas Sánchez, Purificación
A1 Correas Fernández, Jesús
A1 Genaim, Samir
A1 Gómez Zamalloa, Miguel
A1 Martín Martín, Enrique
A1 Puebla, Germán
A1 Román Díez, Guillermo
AB 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.
YR 2015
FD 2015-06
LK https://hdl.handle.net/20.500.14352/25001
UL https://hdl.handle.net/20.500.14352/25001
LA eng
NO Lecture Notes in Computer Science. Vol. 9109
NO Unión Europea. FP7
NO Ministerio de Economía y Competitividad (MINECO)
NO Comunidad de Madrid
DS Docta Complutense
RD 7 abr 2025