TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 4.

Flores-Montoya, Antonio (2016):
Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations.
[Report]

Flores-Montoya, Antonio and Hähnle, Reiner (2015):
Resource Consumption of Concurrent Objects over Time.
[Report]

Flores-Montoya, Antonio and Hähnle, Reiner
Garrigue, Jacques (ed.) (2014):
Resource Analysis of Complex Programs with Cost Equations.
Springer, In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, In: Lecture Notes in Computer Science, 8858, DOI: 10.1007/978-3-319-12736-1₁₅,
[Online-Edition: https://doi.org/10.1007/978-3-319-12736-1_15],
[Conference or Workshop Item]

Flores-Montoya, Antonio and Hähnle, Reiner (2014):
Resource Analysis of Complex Programs with Cost Equations.
[Report]

This list was generated on Sat Jun 15 01:46:59 2019 CEST.