Search Results - "Parallel programs (Computer programs)"

A comprehensive approach to conducting multi-criteria sensitivity analysis of computationally expensive multidimensional hydrodynamic-ecology models (MHEs).

Authors: Gebremariam, Seyoum Yami¹ (AUTHOR) Sgebremariam@mwdh2o.com

Source: Hydrological Sciences Journal/Journal des Sciences Hydrologiques. Aug2025, Vol. 70 Issue 10, p1700-1723. 24p.

Subjects: Sensitivity analysis, Parallel programs (Computer programs), Climate change, Ecological models

Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model.

Authors: Xu, Xuezheng Yang, Deheng Wang, Lu et al.

Source: International Journal of Software & Informatics; 2025, Vol. 15 Issue 3, p283-305, 23p

USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS.

Authors: Gorlatch, Sergei Garanina, Natalia Staroletov, Sergey

Source: Journal of Mathematical Sciences. May2025, Vol. 290 Issue 5, p641-653. 13p.

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL.

Authors: Foster, Simon Hur, Chung-Kil Woodcock, Jim

Source: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-40, 40p

Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.

Authors: Moine, Alexandre Charguéraud, Arthur Pottier, François

Source: ACM Transactions on Programming Languages & Systems. Mar2025, Vol. 47 Issue 1, p1-71. 71p.

Awaiting for Godot: stateless model checking that avoids executions where nothing happens.

Authors: Jonsson, Bengt Lång, Magnus Sagonas, Konstantinos

Source: Formal Methods in System Design. Oct2025, Vol. 67 Issue 1, p71-105. 35p.

Subjects: Software verification, Parallel programs (Computer programs), Synchronization, Computer software execution

Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.

Authors: Xiao, Lili Hou, Zhiru Zhu, Huibiao et al.

Source: Journal of Circuits, Systems & Computers; 1/15/2026, Vol. 35 Issue 1, p1-21, 21p

Preserving provability over GPU program optimizations with annotation-aware transformations.

Authors: Şakar, Ömer Safari, Mohsen Huisman, Marieke et al.

Source: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p

Parallel, Distributed and Federated Learning for applying PRIM in Big Data.

Authors: Nassih, Rym Berrado, Abdelaziz

Source: Proceedings of the International Conference on Industrial Engineering & Operations Management; 6/12/2022, p2886-2893, 8p

Exploring metrics for analyzing dynamic behavior in MPI programs via a coupled-oscillator model.

Authors: Afzal, Ayesha Hager, Georg Wellein, Gerhard

Source: Parallel Computing; Jun2026, Vol. 128, pN.PAG-N.PAG, 1p

High-Performance Computation of Bézier Surfaces on Parallel and Heterogeneous Platforms.

Authors: Cheikh, Faouzi A. Palomar, Rafael Elle, Ole J. et al.

Source: International Journal of Parallel Programming. Dec2018, Vol. 46 Issue 6, p1035-1062. 28p.

Subjects: Graphics processing units, Parallel programs (Computer programs), Heterogeneous computing, Texture analysis (Image processing), Mathematical physics

Gridwave: a grid-based clustering algorithm for market transaction data based on spatial-temporal density-waves and synchronization.

Authors: Sun, Ruizhi Cai, Saihua Shi, Yinxue et al.

Source: Multimedia Tools & Applications. Nov2018, Vol. 77 Issue 22, p29623-29637. 15p.

Subjects: Data mining, Parallel programs (Computer programs), Cluster analysis (Statistics), Communication network analysis, Synchronization

Parallel programming of an ionic floating-gate memory array for scalable neuromorphic computing.

Authors: Fuller, Elliot J. Keene, Scott T. Melianas, Armantas et al.

Source: Science (pre-March 2025). 5/10/2019, Vol. 364 Issue 6440, p570-574. 5p. 3 Diagrams.

Subjects: Artificial neural networks, Complementary metal oxide semiconductors, Parallel programs (Computer programs), Parallel programming, Transistors

An efficient algorithm for embedding exchanged hypercubes into grids.

Authors: Fan, Weibei Fan, Jianxi Lin, Cheng-Kuan et al.

Source: Journal of Supercomputing; Feb2019, Vol. 75 Issue 2, p783-807, 25p

Dynamic Algorithm Switching in Parallel Simulations using AOP.

Authors: PILSUNG KANG¹, pilsungk@ysu.ac.kr

Source: Journal of Information Science & Engineering; Nov2018, Vol. 34 Issue 6, p1367-1382, 16p

Evolutionary DNA Computing Algorithm for Job Scheduling Problem.

Authors: Ibrahim, Gudar J. Rashid, Tarik A. Sadiq, Ahmed T.

Source: IETE Journal of Research; Jul2018, Vol. 64 Issue 4, p514-527, 14p

Strategy for data-flow synchronizations in stencil parallel computations on multi-/manycore systems.

Authors: Szustak, Lukasz¹ lszustak@icis.pcz.pl

Source: Journal of Supercomputing. Apr2018, Vol. 74 Issue 4, p1534-1546. 13p.

Subjects: Data flow computing, Parallel programs (Computer programs), Multicore processors, Intel microprocessors, Abstraction (Computer science)

Language-based vectorization and parallelization using intrinsics, OpenMP, TBB and Cilk Plus.

Authors: Stpiczyński, Przemysław¹ przem@hektor.umcs.lublin.pl

Source: Journal of Supercomputing. Apr2018, Vol. 74 Issue 4, p1461-1472. 12p.

Subjects: Parallel programs (Computer programs), SIMD (Computer architecture), Multicore processors, Recursive programming, Intel computers

Privatizing transactions for Lee’s algorithm in commercial hardware transactional memory.

Authors: Quislant, Ricardo Gutierrez, Eladio Zapata, Emilio L. et al.

Source: Journal of Supercomputing. Apr2018, Vol. 74 Issue 4, p1676-1694. 19p.

Subjects: Parallel programs (Computer programs), Transaction systems (Computer systems), IBM computers, Computer architecture, Application program interfaces

Calculating Parallel Programs in Coq Using List Homomorphisms.

Authors: Loulergue, Frédéric Bousdira, Wadoud Tesson, Julien

Source: International Journal of Parallel Programming. Apr2017, Vol. 45 Issue 2, p300-319. 20p.

Subjects: Parallel programs (Computer programs), Parallel computers, Parallel programming, Programming languages, Computer software