This paper proposes a new method that combines check-pointing methods wi...
Stencil loops are a common motif in computations including convolutional...
In this work, we illustrate an example of estimating the macro-model of
...
Edge computing is the natural progression from Cloud computing, where,
i...
Seismic inversion and imaging are adjoint-based optimization problems th...
We introduce Devito, a new domain-specific language for implementing
hig...
Stencil computations are a key part of many high-performance computing
a...
Naive backpropagation through time has a memory footprint that grows lin...
Inversion and PDE-constrained optimization problems often rely on solvin...
Domain-specific high-productivity environments are playing an increasing...
Domain specific languages (DSL) have been used in a variety of fields to...
Domain specific languages have successfully been used in a variety of fi...
The life-cycle of a partial differential equation (PDE) solver is often
...