Výsledky vyhledávání - "Parallel Programs"

A proof system for disjoint parallel quantum programs Autor Ying, Mingsheng, Zhou, Li, Li, Yangjia, Feng, Yuan

“…In this paper, we define the operational and denotational semantics of a special class of parallel quantum programs, namely disjoint parallel quantum programs…”
Získat plný text

Identifying Performance Inefficiencies of Parallel Program With Spatial and Temporal Trace Analysis Autor Xuan, Zhibo, Sun, Xin, You, Xin, Yang, Hailong, Luan, Zhongzhi, Liu, Yi, Qian, Depei

“…Performance inefficiencies can lead to performance anomalies in parallel programs. Existing performance analysis tools either have a limited detection scope or…”
Získat plný text

A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs Autor Mironov, Andrew M.

“…The paper presents a new mathematical model of parallel programs, on the basis of which it is possible, in particular, to verify parallel programs presented on…”
Získat plný text

Autotuning Parallel Programs by Model Checking Autor Garanina, Natalia Olegovna, Gorlatch, Sergei Petrovich

“…The paper presents a new approach to autotuning data-parallel programs. Autotuning is a search for optimal program settings which maximize its performance. The…”
Získat plný text

Building execution plans for programs with maximum code density on a fixed set of parallel computers Autor Valeriy M. Bakanov

“…Background. The construction of rational plans (schedules) for the execution of parallel programs is (due to the multivariance of solutions) a difficult task…”
Získat plný text

Autotuning Parallel Programs by Model Checking Autor Garanina, N. O., Gorlatch, S. P.

“…This paper presents a new approach to autotuning data-parallel programs. Autotuning is a search for optimal program settings, which maximize its performance…”
Získat plný text

The Semantic Model Features of the Statically Typed Language of Functional-dataflow Parallel Programming

Získat plný text

Structural testing for communication events into loops of message‐passing parallel programs Autor Diaz, Silvia M. D., Souza, Paulo S. L., Souza, Simone R. S.

“…There is a growing demand for correct parallel programs, mainly due to nowadays availability of parallel architectures. Structural testing allows identifying…”
Získat plný text

SWattention: designing fast and memory-efficient attention for a new Sunway Supercomputer Autor Wu, Ruohan, Zhu, Xianyu, Chen, Junshi, Liu, Sha, Zheng, Tianyu, Liu, Xin, An, Hong

“…In the past few years, Transformer-based large language models (LLM) have become the dominant technology in a series of applications. To scale up the sequence…”
Získat plný text

An Abstract Interpretation-Based Framework for WCET Analysis of Parallel Programs Autor Hu, Xinbang, Liu, Guanjun, Li, Xiaofeng, Zhang, Kaiwen, Guan, Jian, Gu, Bin

“…Estimating the Worst-Case Execution Time (WCET) of programs in an embedded multi-core environment is fundamental for schedulability analysis. In this paper, we…”
Získat plný text

DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS Autor Olga F. Babakhyan

“…The method of detecting deadlocks in the distributed systems at the design stage of the system is considered. The system is presented in the form of a model…”
Získat plný text

CUDA programming : a developer's guide to parallel computing with GPUs Autor Cook, Shane

“…If you need to learn CUDA but don't have experience with parallel computing, CUDA Programming: A Developer's Introduction offers a detailed guide to CUDA with…”
Získat plný text

Pipelines and Beyond: Graph Types for ADTs with Futures Autor Rinaldi, Francis, wunder, june, Azevedo de Amorim, Arthur, Muller, Stefan K.

“…Parallel programs are frequently modeled as dependency or cost graphs, which can be used to detect various bugs, or simply to visualize the parallel structure…”
Získat plný text

Static prediction of parallel computation graphs Autor Muller, Stefan K.

“…Many algorithms for analyzing parallel programs, for example to detect deadlocks or data races or to calculate the execution cost, are based on a model…”
Získat plný text

Energy consumption model in multicore architectures with variable frequency Autor Meneses-Viveros, Amilcar, Paredes-López, Mireya, Hernández-Rubio, Erika, Gitler, Isidoro

“…Models extending Amdahl’s law have been developed to study the behavior of parallel programs energy consumption. In addition, it has been shown that energy…”
Získat plný text

Influence of External Memory Characteristics of Supercomputer Complexes on Parallel Programs Execution Autor Aladyshev, O. S., Kiselev, E. A., Zakharchenko, A. V., Shabanov, B. M., Savin, G. I.

“…This article presents methods of studying profiles of parallel programs interaction with external memory of supercomputers, based on open source software,…”
Získat plný text

ELS: Emulation system for debugging and tuning large-scale parallel programs on small clusters Autor Lin, Fang, Liu, Yi, Guo, Yayu, Qian, Depei

“…Continuous scaling-up of high-performance computing systems has brought challenges to the debugging and tuning of large-scale parallel programs. Firstly, to…”
Získat plný text

Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure Autor Liu, Wei, Wang, Lu, Du, Yuyue, Li, Maozhen

“…Deadlocks of concurrent programs are abnormal and need to be avoided. The deadlock property is analyzed in the paper. To reduce the analysis complexity, the…”
Získat plný text

A Repair of Workflow Models Based on Mirroring Matrices Autor Sun, Yanan, Du, Yuyue, Li, Maozhen

“…Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose the differences between observed and…”
Získat plný text

Applied parallel computing Autor Deng, Yuefan

“…The book provides a practical guide to computational scientists and engineers to help advance their research by exploiting the superpower of supercomputers…”
Získat plný text