Search Results - "Parallel Program"

Parallel program analysis on path ranges by Haltermann, Jan, Jakobs, Marie-Christine, Richter, Cedric, Wehrheim, Heike

“…Symbolic execution is a software verification technique symbolically running programs and thereby checking for bugs. Ranged symbolic execution performs…”
Get full text

A parallel program for the simulation of flooding by Busaman, Anurak, McNeil, Rhysa, Chuai-Aree, Somporn, Eso, Mayuening

“…Accurate flood simulations are essential for effective prevention but they can be computationally slow and expensive, especially in large-scale scenarios. This…”
Get full text

An automated parallel program of Clean Numerical Simulation for chaotic systems governed by ODEs by Zhang, Bo, Liao, Shijun

“…Due to the butterfly-effect, numerical noise in chaotic systems grows exponentially, presenting a significant challenge. This issue can be mitigated through…”
Get full text

Modeling of parallel program synchronization primitives by Kryukov, Oleg S., Voloshko, Anna G., Ivutin, Alexey N.

“…This article is devoted to the problem of verifying parallel programs that may contain special types of errors associated with the synchronization of parallel executed threads and access to shared memory…”
Get full text

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

“…Performance inefficiencies can lead to performance anomalies in parallel programs…”
Get full text

Parallel program testing based on critical communication and branch transformation by Tian, Tian, Wang, Anshi, Yang, Xiuting, Gong, Dunwei, Hou, Tie, Yao, Xiangjuan

“…Software testing is an efficient way to guarantee the reliability and accuracy of parallel programs…”
Get full text

Communication Coroutines For Parallel Program Using DW26010 Many Core Processor by Singh, Ajit

“…Communication between parallel programs is an indispensable part of parallel computing…”
Get full text

Tabular-textual question answering: From parallel program generation to large language models by Tang, Xushuo, Chen, Liuyi, Yang, Wenke, Yang, Zhengyi, Ju, Mingchen, Shu, Xin, Yang, Zihan, Tang, Yifu

“… This paper first introduces an innovative parallel program generation method, ConcurGen, aiming to transform this paradigm by simultaneously formulating comprehensive program constructs…”
Get full text

FWT2D : A massively parallel program for frequency-domain full-waveform tomography of wide-aperture seismic data-Part 1 Algorithm by SOURBIER, Florent, OPERTO, Stéphane, VIRIEUX, Jean, AMESTOY, Patrick, L'EXCELLENT, Jean-Yves

“…This is the first paper in a two-part series that describes a massively parallel code that performs 2D frequency-domain full-waveform inversion of…”
Get full text

PAREMD: A parallel program for the evaluation of momentum space properties of atoms and molecules by Meena, Deep Raj, Gadre, Shridhar R., Balanarayan, P.

“…The present work describes a code for evaluating the electron momentum density (EMD), its moments and the associated Shannon information entropy for a…”
Get full text

DEPP - Differential Evolution Parallel Program by Radtke, Jonas, Bertoldo, Guilherme, Marchi, Carlos

Get full text

Effectiveness of Village Health Volunteer Parallel Program for Proactive Action to Reduce Risk Factors for Cholangiocarcinoma in Two High-Risk Countries in the Greater Mekong Subregion by Songserm, Nopparat, Butprom, Sureerat, Thongchai, Comsun, Ruksilp, Monthicha, Charoenbut, Pattaraporn, Woradet, Somkiattiyos, Souvanaa, Timith, Buonhoseng, Vanida, Ali, Akhtar

“…Thailand and Laos were classified as risk areas for cholangiocarcinoma (CCA) in a 2017 assessment in the Greater Mekong Subregion. In 2019, the potential of…”
Get full text

Predicting HPC parallel program performance based on LLVM compiler by Zhang, Weizhe, Hao, Meng, Snir, Marc

“…Performance prediction of parallel program plays key roles in many areas, such as parallel system design, parallel program optimization, and parallel system procurement…”
Get full text

Supporting structured parallel program design, development and tuning in FastFlow by Gazzarri, Leonardo, Danelutto, Marco

“…The design and tuning of parallel programs is known to be a hard and error-prone process…”
Get full text

MapCG: Writing parallel program portable between CPU and GPU by Chuntao Hong, Dehao Chen, Wenguang Chen, Weimin Zheng, Haibo Lin

“…Graphics Processing Units (GPU) have been playing an important role in the general purpose computing market recently. The common approach to program GPU today…”
Get full text

Shared-Semaphored Cache Implementation for Parallel Program Execution in Multi-Core Systems by Milik, Adam, Walichiewicz, Michał

“…The paper brings forward an idea of multi-threaded computation synchronization based on the shared semaphored cache in the multi-core CPUs. It is dedicated to…”
Get full text

Neurite, a Finite Difference Large Scale Parallel Program for the Simulation of Electrical Signal Propagation in Neurites under Mechanical Loading by García-Grajales, Julián A., Rucabado, Gabriel, García-Dopico, Antonio, Peña, José-María, Jérusalem, Antoine

“…With the growing body of research on traumatic brain injury and spinal cord injury, computational neuroscience has recently focused its modeling efforts on…”
Get full text

COMMUNICATION COROUTINES FOR PARALLEL PROGRAM USING DW26010 MANY CORE PROCESSOR by Ajit, Singh Ajit Singh

“…Communication between parallel programs is an indispensable part of parallel computing…”
Get full text

Communication Coroutines For Parallel Program Using DW26010 Many Core Processor by Singh, Ajit

“…Communication between parallel programs is an indispensable part of parallel computing…”
Get full text

Planting parallel program simulation on the cloud by Cuomo, Antonio, Rak, Massimiliano, Villano, Umberto

“…SummaryThe writing of efficient parallel code has always been a tedious and time‐consuming process. However, the performance prediction prototype tools devised…”
Get full text