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

Authors: Moine, Alexandre¹ (AUTHOR) alexandre.moine@nyu.edu, Charguéraud, Arthur² (AUTHOR) arthur.chargueraud@inria.fr, Pottier, François³ (AUTHOR) francois.pottier@inria.fr

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

Subject Terms: Computer memory management, Parallel programs (Computer programs)

A Constructive Method for Resolving Multiple Access Conflicts in Process-Oriented Programs

Authors: Permyashkin, D. A.^{Aff1, IDS8756699025700694_cor1}, Zyubin, V. E.^{Aff1, IDS8756699025700694_cor2}

Source: Optoelectronics, Instrumentation and Data Processing. 61(5):613-619

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

Authors: Gorlatch, Sergei¹ (AUTHOR) gorlatch@uni-muenster.de, Garanina, Natalia^2,3 (AUTHOR), Staroletov, Sergey⁴ (AUTHOR)

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

Subject Terms: *High performance computing, *Parallel programs (Computer programs), *OpenCL (Computer program language), *Software verification, *Program transformation, *Mathematical optimization, *Modeling languages (Computer science), *Model validation

Building execution plans for programs with maximum code density on a fixed set of parallel computers

Authors: Valeriy M. Bakanov

Source: Известия высших учебных заведений. Поволжский регион:Технические науки, Iss 1 (2023)

Subject Terms: analysis of the fine information structure of the program, representation of algorithms in graph form, tiered-parallel form of the information graph of the algorithm, equivalent transformations, rational parameters of execution of parallel programs, framework of execution of a parallel program, Technology

File Description: electronic resource

Relation: https://doaj.org/toc/2072-3059

Access URL: https://doaj.org/article/acfc0286091d44258b8cb9473cf2ae1a

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

Subject Terms: Consistency models (Computers), Programming language semantics, Semantics methodology, ARM microprocessors, Parallel programs (Computer programs), Software verification

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.

Subject Terms: *Sensitivity analysis, *Parallel programs (Computer programs), *Climate change, *Ecological models

Automatic mapping of sequential programs to parallel computers with distributed memory.

Authors: Bagliy, A.P.¹ (AUTHOR) abagly@sfedu.ru, Krivosheev, N.M.¹ (AUTHOR), Steinberg, B.Ya¹ (AUTHOR)

Source: Procedia Computer Science. 2023, Vol. 229, p236-244. 9p.

Subject Terms: Parallel programs (Computer programs), Computer storage devices, Cartography software, Distributed computing, Compilers (Computer programs), Computer systems

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

Authors: Xiao, Lili, Hou, Zhiru, Zhu, Huibiao, He, Mengda, Qin, Shengchao

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

Subject Terms: Software verification, Computer architecture, Synchronization, Formal methods (Computer science), Formal languages, Parallel programs (Computer programs), Parallel processing

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

Authors: Şakar, Ömer, Safari, Mohsen, Huisman, Marieke, Wijs, Anton

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

Subject Terms: Program transformation, Software verification, Optimization algorithms, Parallel programs (Computer programs), Scientific observation

Software complex for modeling and optimization of program implementation on parallel calculation systems

Authors: Bakanov Valery

Source: Open Computer Science, Vol 8, Iss 1, Pp 228-234 (2018)

Subject Terms: graph algorithm presentations, analysis of information program structure, line-parallel form (lpf) of information graph, rational parameters for execution of parallel programs, strategy for constructing a rational plan for the parallel program execution, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://doaj.org/toc/2299-1093

Access URL: https://doaj.org/article/767f7143fabe4e41b3c7876d0520d90e

Automatic differentiation for message-passing parallel programs

Authors: Hovland, P., Bischof, C.

Source: Proceedings of the First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing Parallel processing. Parallel and distributed processing Parallel Processing Symposium, 1998. IPPS/SPDP 1998. Proceedings of the First Merged International ... and Symposium on Parallel and Distributed Processing 1998. :98-104 1998

Relation: Proceedings of the First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing

Performance evaluation on work-stealing featured parallel programs on asymmetric performance multicore processors

Authors: Adnan

Source: Array, Vol 19, Iss , Pp 100311- (2023)

Subject Terms: Amdahl’s law, Speedup factor, Asymmetric performance, Multicore, Work stealing, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S259000562300036X; https://doaj.org/toc/2590-0056

Access URL: https://doaj.org/article/80661e3c3802406e9e0267f507e4aaee

Automation of Debugging Parallel Programs in the DVM System

Authors: Bakhtin, V. A.^{Aff1, IDS2070048224700881_cor1}

Source: Mathematical Models and Computer Simulations. 16(Suppl 2):S171-S180

Mapping graphs Of parallel programs onto graphs of distributed computer systems by recurrent neural networks

Authors: Tarkov, Rzhanov’s

Source: Optical Memory and Neural Networks: (Information Optics). June 2011 20(2):107-112

pCI: A parallel configuration interaction software package for high-precision atomic structure calculations

Authors: Cheung, Charles ^{a, ⁎}, Kozlov, Mikhail G. ^{b, c}, Porsev, Sergey G. ^a, Safronova, Marianna S. ^a, Tupitsyn, Ilya I. ^d, Bondarev, Andrey I. ^{e, f}

Source: In Computer Physics Communications March 2025 308

Review and analysis of performance prediction methods and tools for heterogeneous parallel programs

Authors: Gu, Beibei^{Aff1, Aff2, IDs4251402500236z_cor1}, Zhao, Lian^Aff1, Li, Chen^Aff1, Chi, Xuebin^Aff1

Source: CCF Transactions on High Performance Computing. 8(3):331-351

DVM-Approach to the Automation of the Development of Parallel Programs for Clusters.

Authors: Bakhtin, V. A.^1,2 (AUTHOR) bakhtin@keldysh.ru, Krukov, V. A.^1,2 (AUTHOR) krukov@keldysh.ru

Source: Programming & Computer Software. May2019, Vol. 45 Issue 3, p121-132. 12p.

Subject Terms: *Parallel programs (Computer programs), *Computer workstation clusters, *Parallel programming, *Automation

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)

Authors: Wang, Yin, Liao, Hongwei, Nazeem, Ahmed, Reveliotis, Spyros, Kelly, Terence, Mahlke, Scott, Lafortune, Stephane

Source: 2009 IEEE International Conference on Automation Science and Engineering Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on. :37-41 Aug, 2009

Relation: 2009 IEEE International Conference on Automation Science and Engineering (CASE 2009)

Mapping parallel programs onto multicore computer systems by Hopfield networks

Authors: Tarkov

Source: Optical Memory and Neural Networks: (Information Optics). July 2013 22(3):148-155

Reducing scheduling sequences of message-passing parallel programs.

Authors: Gong, Dunwei^1,2 dwgong@vip.163.com, Zhang, Chen¹, Tian, Tian³, Li, Zheng⁴

Source: Information & Software Technology. Dec2016, Vol. 80, p217-230. 14p.

Subject Terms: *Bandwidths, Message passing (Computer science), Parallel programs (Computer programs), Computer software testing, Computational complexity