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
• 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