swMATH8653MaRDI QIDQ20658FDOQ20658
Author name not available (Why is that?)
Official website: http://speed.mox.polimi.it/
Cited In (49)
- 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
- SeisSol
- Aspic
- Dagger
- Coreutils
- ABC
- COSTABS
- iCanCloud
- aiT
- CSSV
- AxiSEM
- 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
- ABS
- JCobox
- SACO
- RAML
- RegSEM
- SPL Conqueror
- 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
