ExaSlang: a domain-specific language for highly scalable multigrid solvers.
Christian SchmittSebastian KuckukFrank HannigHarald KöstlerJürgen TeichPublished in: WOLFHPC@SC (2014)
Keyphrases
- highly scalable
- multiresolution
- image analysis
- boundary conditions
- data partitioning
- multiscale
- web caching
- computationally expensive
- sat solving
- highly optimized
- sat solvers
- inverse problems in image processing
- partial differential equations
- image sequences
- sat instances
- emission tomography
- eigenvalue problems
- flow field
- level set
- constraint solver
- knowledge base
- computer vision
- learning algorithm
- neural network