Search Results - "Parallel programs (Computer programs)"

Framework for Improving Parallelization of Loops through Loop-Fission Transformation for Many-Core Systems.

Authors: Yadav, Akash Ahmed, Mushtaq

Source: Technical Journal / Tehnički Glasnik; Dec2026, Vol. 20 Issue 4, p517-524, 8p

Synchronization Aware Worst-case Interference Placement for Shared Instruction Cache Analysis of Multithreaded Programs.

Authors: Rani, Naveeta Dharishini, P. Padma Priya Murthy, P. V. R.

Source: International Journal of Intelligent Engineering & Systems; 2026, Vol. 19 Issue 10, p195-214, 20p

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

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.

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

A Lightweight Modeling and Verification Framework for Programs Over Weak Memory Models in an Algebraic Semantics Style.

Authors: Xiao, Lili Zhu, Huibiao Bowen, Jonathan P.

Source: Journal of Software: Evolution & Process; Jul2026, Vol. 38 Issue 7, p1-21, 21p

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

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

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

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

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

Numerical Model for Simulations of Taffy Galaxies.

Authors: Khoperskov, A. V. Khrapov, S. S. Savin, E. S.

Source: Lobachevskii Journal of Mathematics. Aug2025, Vol. 46 Issue 8, p3698-3709. 12p.