Cited in
(50)- SPEED: precise and efficient static estimation of program computational complexity
- A space-time discontinuous Galerkin method for the elastic wave equation
- Fluid updates: beyond strong vs. weak updates
- Automatic inference of resource consumption bounds
- Automatic image-based analyses using a coupled quadtree-SBFEM/SCM approach
- Loop summarization using state and transition invariants
- A high-order discontinuous Galerkin method for 1D wave propagation in a nonlinear heterogeneous medium
- Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs
- Automated termination analysis of Java bytecode by term rewriting
- Influence of periodically fluctuating material parameters on the stability of explicit high-order spectral element methods
- A general framework for static profiling of parametric resource usage
- A Coq library for internal verification of running-times
- Efficient Type-Checking for Amortised Heap-Space Analysis
- Polynomial path orders
- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
- A multi-domain incremental analysis engine and its application to incremental resource analysis
- Complexity and resource bound analysis of imperative programs using difference constraints
- Stability analysis of discontinuous Galerkin approximations to the elastodynamics problem
- An efficient ADER-DG local time stepping scheme for 3D HPC simulation of seismic waves in poroelastic media
- Objects in polynomial time
- Automatic type inference for amortised heap-space analysis
- COSTA
- SeisSol
- Aspic
- Dagger
- Resource-usage-aware configuration in software product lines
- Coreutils
- ABC
- COSTABS
- iCanCloud
- aiT
- CSSV
- AxiSEM
- Towards automatic resource bound analysis for OCaml
- ABS
- JCobox
- SACO
- RAML
- RegSEM
- SPL Conqueror
- Amortised resource analysis with separation logic
- Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
- A high-order discontinuous Galerkin method for nonlinear sound waves
- Analysis of executable software models
- A new order-theoretic characterisation of the polytime computable functions
- Convex invariant refinement by control node splitting: a heuristic approach
- Optimal error analysis of the spectral element method for the 2D homogeneous wave equation
- More precise yet widely applicable cost analysis
- Integrating deployment architectures and resource consumption in timed object-oriented models
- Numerical modeling of seismic waves by discontinuous spectral element methods
This page was built for software: SPEED
