|
Título:
|
Resource Analysis: From Sequential to Concurrent and Distributed Programs
|
|
Autores:
|
Albert Albiol, Elvira ;
Arenas Sánchez, Puri ;
Correas Fernández, Jesús ;
Genaim, Samir ;
Gómez Zamalloa, Miguel ;
Martín Martín, Enrique ;
Puebla, Germán ;
Román Díez, Guillermo
|
|
Tipo de documento:
|
texto impreso
|
|
Fecha de publicación:
|
2015-06
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/openAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Informática
,
Materia = Ciencias: Informática: Programación de ordenadores
,
Tipo = Ponencia o Póster de Seminario
,
Congreso
,
etc
|
|
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.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/36998/1/Resource%20analysis%20from%20sequential.pdf
|
