The following pages link to SPEED (Q20658):
Displaying 21 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)
- Numerical modeling of seismic waves by discontinuous spectral element methods (Q4615439) (← links)
- Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach (Q5170180) (← links)
- Automated Termination Analysis of Java Bytecode by Term Rewriting (Q5389149) (← links)
