Pages that link to "Item:Q5747627"
From MaRDI portal
The following pages link to Comparing Cost Functions in Resource Analysis (Q5747627):
Displaying 6 items.
- Quantified abstract configurations of distributed systems (Q493525) (← links)
- Cost analysis of object-oriented bytecode programs (Q764297) (← links)
- Resource-usage-aware configuration in software product lines (Q898611) (← links)
- More Precise Yet Widely Applicable Cost Analysis (Q3075469) (← links)
- Varieties of Cost Functions (Q4601882) (← links)
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (Q4644354) (← links)