SPEED
From MaRDI portal
Software:20658
swMATH8653MaRDI QIDQ20658FDOQ20658
Author name not available (Why is that?)
Cited In (33)
- Loop summarization using state and transition invariants
- Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
- Influence of periodically fluctuating material parameters on the stability of explicit high-order spectral element methods
- More Precise Yet Widely Applicable Cost Analysis
- Automatic Type Inference for Amortised Heap-Space Analysis
- Analysis of Executable Software Models
- Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach
- A multi-domain incremental analysis engine and its application to incremental resource analysis
- A space-time discontinuous Galerkin method for the elastic wave equation
- Automated Termination Analysis of Java Bytecode by Term Rewriting
- A general framework for static profiling of parametric resource usage
- An efficient ADER-DG local time stepping scheme for 3D HPC simulation of seismic waves in poroelastic media
- Numerical modeling of seismic waves by discontinuous spectral element methods
- A Coq Library for Internal Verification of Running-Times
- Complexity and resource bound analysis of imperative programs using difference constraints
- A high-order discontinuous Galerkin method for nonlinear sound waves
- Amortised Resource Analysis with Separation Logic
- Amortized Resource Analysis with Polynomial Potential
- SPEED
- Stability analysis of discontinuous Galerkin approximations to the elastodynamics problem
- Resource-usage-aware configuration in software product lines
- A new order-theoretic characterisation of the polytime computable functions
- Integrating deployment architectures and resource consumption in timed object-oriented models
- Optimal error analysis of the spectral element method for the 2D homogeneous wave equation
- Polynomial path orders
- Objects in Polynomial Time
- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
- Efficient Type-Checking for Amortised Heap-Space Analysis
- Towards automatic resource bound analysis for OCaml
- Automatic Inference of Resource Consumption Bounds
- Automatic image-based analyses using a coupled quadtree-SBFEM/SCM approach
- A high-order discontinuous Galerkin method for 1D wave propagation in a nonlinear heterogeneous medium
- Fluid Updates: Beyond Strong vs. Weak Updates
This page was built for software: SPEED