TU Darmstadt
ULB
TUbiblio
Browse by Person
Up a level |
Number of items: 4.
Flores-Montoya, Antonio (2016)
Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations.
Report, Bibliographie
Flores-Montoya, Antonio ; Hähnle, Reiner (2015)
Resource Consumption of Concurrent Objects over Time.
Report, Bibliographie
Flores-Montoya, Antonio ; Hähnle, Reiner
ed.: Garrigue, Jacques (2014)
Resource Analysis of Complex Programs with Cost Equations.
Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings.
doi: 10.1007/978-3-319-12736-1_15
Conference or Workshop Item, Bibliographie
Flores-Montoya, Antonio ; Hähnle, Reiner (2014)
Resource Analysis of Complex Programs with Cost Equations.
Report, Bibliographie