SPEED

swMATH8653MaRDI QIDQ20658FDOQ20658

Author name not available (Why is that?)

Described by source

• SPEED: spectral elements in elastodynamics with discontinuous Galerkin: a non-conforming approach for 3D multi-scale problems

Cited In (33)

• Loop summarization using state and transition invariants
• Influence of periodically fluctuating material parameters on the stability of explicit high-order spectral element methods
• Amortised resource analysis with separation logic
• Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
• A Coq library for internal verification of running-times
• A multi-domain incremental analysis engine and its application to incremental resource analysis
• A space-time discontinuous Galerkin method for the elastic wave equation
• 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
• Complexity and resource bound analysis of imperative programs using difference constraints
• Objects in polynomial time
• Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs
• Automatic type inference for amortised heap-space analysis
• A high-order discontinuous Galerkin method for nonlinear sound waves
• Analysis of executable software models
• Convex invariant refinement by control node splitting: a heuristic approach
• Stability analysis of discontinuous Galerkin approximations to the elastodynamics problem
• Resource-usage-aware configuration in software product lines
• Fluid updates: beyond strong vs. weak updates
• Automated termination analysis of Java bytecode by term rewriting
• A new order-theoretic characterisation of the polytime computable functions
• Integrating deployment architectures and resource consumption in timed object-oriented models
• Automatic inference of resource consumption bounds
• Optimal error analysis of the spectral element method for the 2D homogeneous wave equation
• Polynomial path orders
• SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
• Efficient Type-Checking for Amortised Heap-Space Analysis
• More precise yet widely applicable cost analysis
• Towards automatic resource bound analysis for OCaml
• SPEED: precise and efficient static estimation of program computational complexity
• 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

This page was built for software: SPEED