TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Arenas Sánchez, Purificación
AU  - Correas Fernández, Jesús
AU  - Genaim, Samir
AU  - Gómez Zamalloa, Miguel
AU  - Martín Martín, Enrique
AU  - Puebla, Germán
AU  - Román Díez, Guillermo
PY  - 2015
UR  - https://hdl.handle.net/20.500.14352/25001
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...
LA  - eng
M2  - 3
TI  - Resource Analysis: From Sequential to Concurrent and Distributed Programs
TY  - conference paper
ER  -