The following pages link to SACO (Q33020):
Displaying 10 items.
- Resource-usage-aware configuration in software product lines (Q898611) (← links)
- Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking (Q2043801) (← links)
- Behavioural semantics for asynchronous components (Q2397038) (← links)
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings (Q2398172) (← links)
- Time analysis of actor programs (Q2423757) (← links)
- (Q4596790) (← links)
- A Transformational Approach to Resource Analysis with Typed-norms Inference (Q4957197) (← links)
- A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell* (Q4988924) (← links)
- Analysis of Executable Software Models (Q5175771) (← links)
- May-Happen-in-Parallel Analysis for Actor-Based Concurrency (Q5277912) (← links)