The following pages link to SPEED (Q5261512):
Displayed 11 items.
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Resource-usage-aware configuration in software product lines (Q898611) (← links)
- Loop summarization using state and transition invariants (Q2248058) (← links)
- A new order-theoretic characterisation of the polytime computable functions (Q2346988) (← links)
- A multi-domain incremental analysis engine and its application to incremental resource analysis (Q2346994) (← links)
- A Coq Library for Internal Verification of Running-Times (Q2798271) (← links)
- Attribute-Based Signatures for Circuits from Bilinear Map (Q2798779) (← links)
- More Precise Yet Widely Applicable Cost Analysis (Q3075469) (← links)
- Efficient Type-Checking for Amortised Heap-Space Analysis (Q3644757) (← links)
- Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach (Q5170180) (← links)
- Analysis of Executable Software Models (Q5175771) (← links)