The following pages link to Maximiliano Klemen (Q2798273):
Displaying 5 items.
- A Transformational Approach to Parametric Accumulated-Cost Static Profiling (Q2798274) (← links)
- A general framework for static profiling of parametric resource usage (Q4593063) (← links)
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (Q4644354) (← links)
- (Q5020649) (← links)
- A General Framework for Static Cost Analysis of Parallel Logic Programs (Q5097623) (← links)
