The following pages link to SPEED (Q5261512):
Displaying 25 items.
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Resource-usage-aware configuration in software product lines (Q898611) (← links)
- A type-based complexity analysis of object oriented programs (Q1640983) (← links)
- Certified abstract cost analysis (Q2044174) (← links)
- \textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs (Q2119987) (← links)
- Selectively-amortized resource bounding (Q2145338) (← links)
- Run-time complexity bounds using squeezers (Q2233463) (← links)
- Loop summarization using state and transition invariants (Q2248058) (← links)
- Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs (Q2331068) (← 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)
- Complexity and resource bound analysis of imperative programs using difference constraints (Q2398171) (← links)
- Time analysis of actor programs (Q2423757) (← 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)
- Deciding Fast Termination for Probabilistic VASS with Nondeterminism (Q3297606) (← links)
- Efficient Type-Checking for Amortised Heap-Space Analysis (Q3644757) (← links)
- A general framework for static profiling of parametric resource usage (Q4593063) (← links)
- (Q5111324) (← links)
- Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach (Q5170180) (← links)
- Analysis of Executable Software Models (Q5175771) (← links)
- Type-based amortized resource analysis with integers and arrays (Q5371954) (← links)
- Oracle-guided scheduling for controlling granularity in implicitly parallel languages (Q5371969) (← links)
- (Q5875426) (← links)