From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Inference of Bounds on Resource Consumption.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Asymptotic Resource Usage Bounds.E. Albert, D. Alonso-Blas, P. Arenas, S. Genaim, и G. Puebla. APLAS, том 5904 из Lecture Notes in Computer Science, стр. 294-310. Springer, (2009)Automatic Inference of Bounds on Resource Consumption.E. Albert, D. Alonso-Blas, P. Arenas, J. Correas, A. Flores-Montoya, S. Genaim, M. Gómez-Zamalloa, A. Masud, G. Puebla, J. Rojas и 2 other автор(ы). FMCO, том 7866 из Lecture Notes in Computer Science, стр. 119-144. Springer, (2012)Precise Cost Analysis via Local Reasoning.D. Alonso-Blas, P. Arenas, и S. Genaim. ATVA, том 8172 из Lecture Notes in Computer Science, стр. 319-333. Springer, (2013)Handling Non-linear Operations in the Value Analysis of COSTA.D. Alonso-Blas, P. Arenas, и S. Genaim. Bytecode@ETAPS, том 279 из Electronic Notes in Theoretical Computer Science, стр. 3-17. Elsevier, (2011)On the Limits of the Classical Approach to Cost Analysis.D. Alonso-Blas, и S. Genaim. SAS, том 7460 из Lecture Notes in Computer Science, стр. 405-421. Springer, (2012)