See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Interpolation-based height analysis for improving a recurrence solver

Montenegro, Manuel; Shkaravska, Olha; van Eekelen, Marko; Peña, Ricardo (2012). Interpolation-based height analysis for improving a recurrence solver. Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Ed. Peña, Ricardo; Shkaravska, Olha; van Eekelen, Marko. Berlin: Springer, 36−53. (Lecture Notes in Computer Science; 7177). DOI: 10.1007/978-3-642-32495-6_3.
publitseeritud konverentsiettekanne
Montenegro, Manuel; Shkaravska, Olha; van Eekelen, Marko; Peña, Ricardo
  • Inglise
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Peña, Ricardo; Shkaravska, Olha; van Eekelen, Marko
Berlin
Springer
0302-9743
978-3-642-32494-9 (print), 978-3-642-32495-6 (online)
Lecture Notes in Computer Science
7177
2012
3653
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Web of Science Book Citation Index, Web of Science Conference Proceedings Citation Index, Scopus refereeritud kogumikud)
Jah
roheline

Viited terviktekstile

doi.org/10.1007/978-3-642-32495-6_3

Seotud asutused

Lisainfo

height analysis; Java byte codes; linear expression; polynomial bounds; polynomial interpolation; ranking functions; resource consumption
http://dalila.sip.ucm.es/%7Emanuel/papers/fopara11.pdf
Scopus, DBLP