An Embedding Scheme for Detecting Anomalous Block Structured Graphs

2015 ◽  
pp. 215-227 ◽  
Author(s):  
Lida Rashidi ◽  
Sutharshan Rajasegarar ◽  
Christopher Leckie
Keyword(s):  
Structured Graphs ◽  
Block Structured

Algorithmic Logic with Recursive Functions

1981 ◽  
Vol 4 (4) ◽  
pp. 975-995
Author(s):  
Andrzej Szałas
Keyword(s):  
Completeness Theorem ◽  
Inference Rules ◽  
Partial Correctness ◽  
Recursive Functions ◽  
Algorithmic Logic ◽  
Block Structured

A language is considered in which the reader can express such properties of block-structured programs with recursive functions as correctness and partial correctness. The semantics of this language is fully described by a set of schemes of axioms and inference rules. The completeness theorem and the soundness theorem for this axiomatization are proved.

scholarly journals AMReX: Block-structured adaptive mesh refinement for multiphysics applications

2021 ◽  
pp. 109434202110228
Author(s):  
Weiqun Zhang ◽  
Andrew Myers ◽  
Kevin Gott ◽  
Ann Almgren ◽  
John Bell
Keyword(s):  
Adaptive Mesh Refinement ◽  
Mesh Refinement ◽  
Computational Cost ◽  
Adaptive Mesh ◽  
Uniform Mesh ◽  
Physical Processes ◽  
Structured Adaptive Mesh Refinement ◽  
Core Elements ◽  
Accelerator Design ◽  
Block Structured

Block-structured adaptive mesh refinement (AMR) provides the basis for the temporal and spatial discretization strategy for a number of Exascale Computing Project applications in the areas of accelerator design, additive manufacturing, astrophysics, combustion, cosmology, multiphase flow, and wind plant modeling. AMReX is a software framework that provides a unified infrastructure with the functionality needed for these and other AMR applications to be able to effectively and efficiently utilize machines from laptops to exascale architectures. AMR reduces the computational cost and memory footprint compared to a uniform mesh while preserving accurate descriptions of different physical processes in complex multiphysics algorithms. AMReX supports algorithms that solve systems of partial differential equations in simple or complex geometries and those that use particles and/or particle–mesh operations to represent component physical processes. In this article, we will discuss the core elements of the AMReX framework such as data containers and iterators as well as several specialized operations to meet the needs of the application projects. In addition, we will highlight the strategy that the AMReX team is pursuing to achieve highly performant code across a range of accelerator-based architectures for a variety of different applications.

KelpIO: a telescope-ready domain-specific I/O library for irregular block-structured applications

2002 ◽  
Vol 18 (4) ◽  
pp. 449-460
Author(s):  
Bradley Broom ◽  
Rob Fowler ◽  
Ken Kennedy
Keyword(s):  
Domain Specific ◽  
Block Structured
Sign in / Sign up

Export Citation Format

Share Document