Comparing Cost Functions in Resource Analysis
From MaRDI portal
Publication:5747627
DOI10.1007/978-3-642-15331-0_1zbMath1305.68051OpenAlexW1579073395MaRDI QIDQ5747627
Israel Herraiz, Samir Genaim, Puri Arenas, Elvira Albert, Germán Puebla
Publication date: 14 September 2010
Published in: Foundational and Practical Aspects of Resource Analysis (Search for Journal in Brave)
Full work available at URL: http://oa.upm.es/5710/
Related Items
Resource-usage-aware configuration in software product lines, Quantified abstract configurations of distributed systems, Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption, More Precise Yet Widely Applicable Cost Analysis, Cost analysis of object-oriented bytecode programs
Uses Software