The following pages link to SPEED (Q20658):
Displaying 33 items.
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Resource-usage-aware configuration in software product lines (Q898611) (← links)
- Automatic image-based analyses using a coupled quadtree-SBFEM/SCM approach (Q1697138) (← links)
- A high-order discontinuous Galerkin method for 1D wave propagation in a nonlinear heterogeneous medium (Q1700887) (← links)
- A space-time discontinuous Galerkin method for the elastic wave equation (Q2125454) (← links)
- An efficient ADER-DG local time stepping scheme for 3D HPC simulation of seismic waves in poroelastic media (Q2133731) (← links)
- Optimal error analysis of the spectral element method for the 2D homogeneous wave equation (Q2159880) (← links)
- A high-order discontinuous Galerkin method for nonlinear sound waves (Q2194325) (← links)
- Loop summarization using state and transition invariants (Q2248058) (← links)
- Influence of periodically fluctuating material parameters on the stability of explicit high-order spectral element methods (Q2311628) (← 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)
- Stability analysis of discontinuous Galerkin approximations to the elastodynamics problem (Q2631047) (← links)
- A Coq Library for Internal Verification of Running-Times (Q2798271) (← links)
- Polynomial path orders (Q2865062) (← links)
- Automatic Inference of Resource Consumption Bounds (Q2891436) (← links)
- More Precise Yet Widely Applicable Cost Analysis (Q3075469) (← links)
- Objects in Polynomial Time (Q3459427) (← links)
- Amortised Resource Analysis with Separation Logic (Q3558217) (← links)
- Fluid Updates: Beyond Strong vs. Weak Updates (Q3558225) (← links)
- Amortized Resource Analysis with Polynomial Potential (Q3558228) (← links)
- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities (Q3600478) (← links)
- Efficient Type-Checking for Amortised Heap-Space Analysis (Q3644757) (← links)
- A general framework for static profiling of parametric resource usage (Q4593063) (← links)
- Numerical modeling of seismic waves by discontinuous spectral element methods (Q4615439) (← links)
- Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs (Q4930721) (← links)
- Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach (Q5170180) (← links)
- Analysis of Executable Software Models (Q5175771) (← links)
- SPEED (Q5261512) (← links)
- Automatic Type Inference for Amortised Heap-Space Analysis (Q5326309) (← links)
- Towards automatic resource bound analysis for OCaml (Q5370874) (← links)
- Automated Termination Analysis of Java Bytecode by Term Rewriting (Q5389149) (← links)
