We consider multiphysics applications from algorithmic and architectural perspectives,
where “algorithmic” includes both mathematical analysis and computational complexity, and …

Today's largest supercomputers have 100,000 s of processor cores and offer the potential to
solve partial differential equations discretized by billions of unknowns. However, the …

The Parallel Unstructured Mesh Infrastructure (PUMI) is designed to support the
representation of, and operations on, unstructured meshes as needed for the execution of …

The use of composable abstractions allows the application of new and established
algorithms to a wide range of problems, while automatically inheriting the benefits of well …

We present GridSAT, a parallel and complete satisfiability solver designed to solve non-
trivial SAT problem instances using a large number of widely distributed and heterogeneous …

We introduce the Stellar decomposition, a model for efficient topological data structures over
a broad range of simplicial and cell complexes. A Stellar decomposition of a complex is a …

This paper describes a parallel procedure for anisotropic mesh adaptation with boundary
layers for use in scalable CFD simulations. The parallel mesh adaptation algorithm operates …

Two Department of Energy (DOE) office of Science's Scientific Discovery through Advanced
Computing (SciDAC) Frameworks, Algorithms, and Scalable Technologies for Mathematics …

ABSTRACT A “bottom-up” approach to multi-physics frameworks is described, where first
common interfaces to simulation data are developed, then existing physics modules are …

Reliable mesh-based simulations are needed to solve complex engineering problems.
Mesh adaptivity can increase reliability by reducing discretization errors, but requires …