Comparing cost functions in resource analysis

DOI10.1007/978-3-642-15331-0_1MaRDI QIDQ5747627zbMATH OpenOpenAlexFDO

Authors Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, 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/

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On the inference of resource usage upper and lower bounds
• More precise yet widely applicable cost analysis
• Resource analysis of complex programs with cost equations
• Closed-form upper bounds in static cost analysis
• Relational cost analysis

Cited in

(9)

• More precise yet widely applicable cost analysis
• Varieties of Cost Functions
• Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
• Quantified abstract configurations of distributed systems
• Relational cost analysis in a functional-imperative setting
• Resource analysis driven by (conditional) termination proofs
• Relational cost analysis
• Cost analysis of object-oriented bytecode programs
• Resource-usage-aware configuration in software product lines

Describes a project that uses

Uses Software

• COSTA

This page was built for publication: Comparing cost functions in resource analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747627)