Výsledky vyhľadávania - "parallel programming system"

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System Autor Kondratyev, Dmitry A.

“…The C-lightVer system is developed in IIS SB RAS for C-program deductive verification. C-kernel is an intermediate verification language in this system. Cloud…”
Získať plný text

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System Autor Kondratyev, D. A.

“…The C-lightVer system for deductive verification of C programs has been developed at the Institute of Informatics Systems of the Siberian Branch of the Russian…”
Získať plný text

Adaptive parallel computing on heterogeneous networks with mpC Autor Lastovetsky, Alexey

“…The paper presents a new advanced version of the mpC parallel language. The language was designed specially for programming high-performance parallel…”
Získať plný text

Achieving Computation-Communication Overlap with Overdecomposition on GPU Systems Autor Choi, Jaemin, Richards, David F., Kale, Laxmikant V.

“…The landscape of high performance computing is shifting towards a collection of multi-GPU nodes, widening the gap between on-node compute and off-node…”
Získať plný text

Parallel Unstructured Grid Partition Algorithm Based on Charm Autor Wang, Ting, Chi, Xuebin, Zhao, Lian, Jiang, Jinrong, Wang, Wu, Li, Yongming

“…The finite element method (FEM) based on unstructured grid has been widely used in science and engineering. Charm++ programming has the advantages of task…”
Získať plný text

Cpp-Taskflow: A General-Purpose Parallel Task Programming System at Scale Autor Huang, Tsung-Wei, Lin, Yibo, Lin, Chun-Xun, Guo, Guannan, Wong, Martin D. F.

“…This article introduces Cpp-Taskflow, a high-performance parallel task programming system, to streamline the building of large and complex parallel…”
Získať plný text

From patterns to frameworks to parallel programs Autor MacDonald, S., Anvik, J., Bromling, S., Schaeffer, J., Szafron, D., Tan, K.

“…Object-oriented programming, design patterns, and frameworks are abstraction techniques that have been used to reduce the complexity of sequential programming…”
Získať plný text

PI/OT: Parallel I/O templates Autor Parsons, Ian, Unrau, Ron, Schaeffer, Jonathan, Szafron, Duane

“…This paper presents a novel, top-down, high-level approach to parallelizing file I/O. Each parallel file descriptor is annotated with a high-level…”
Získať plný text

Programming Systems for High‐Performance Heterogeneous Computing Autor Lastovetsky, Alexey L., Dongarra, Jack J.

“…This chapter contains sections titled: Parallel Programming Systems for Heterogeneous Platforms Traditional Parallel Programming Systems Heterogeneous Parallel…”
Získať plný text