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

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)

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

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

An Innovative Heuristic to Detect Special States in Concurrent Software Systems.

Authors: Pira, Einollah, Rouhi, Alireza

Source: Quality & Reliability Engineering International; Dec2025, Vol. 41 Issue 8, p3686-3697, 12p

Subject Terms: Heuristic, Verification of computer systems, Software development tools, Computer performance, State-space methods, Software validation, Parallel programs (Computer programs)

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

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

Accelerating the standard siren method: Improved constraints on modified gravitational-wave propagation with future data.

Authors: Tagliazucchi, Matteo, Moresco, Michele, Borghi, Nicola, Fiebig, Manfred

Source: Astronomy & Astrophysics / Astronomie et Astrophysique; 2025, Vol. 702, p1-13, 13p

Subject Terms: Gravitational waves, Bayesian analysis, Physical cosmology, Gravitational wave detectors, Gravitation, Parallel programs (Computer programs)

Company/Entity: Laser Interferometer Gravitational-Wave Observatory

High-Throughput Evaluation of Mechanical Exfoliation Using Optical Classification of Two-Dimensional Materials.

Authors: Gasbarro, Anthony, Masuda, Yong-Sung D., Lubecke, Victor M.

Source: Micromachines; Oct2025, Vol. 16 Issue 10, p1084, 11p

Subject Terms: Two-dimensional materials (Nanotechnology), Machine learning, Image processing, Parallel programs (Computer programs), Optical pattern recognition, Spectrum analysis

Black-Box Bug Amplification for Multithreaded Software.

Authors: Weiss, Yeshayahu, Amram, Gal, Elyasaf, Achiya, Farchi, Eitan, Margalit, Oded, Weiss, Gera

Source: Mathematics (2227-7390); Sep2025, Vol. 13 Issue 18, p2921, 42p

Subject Terms: Computer software testing, Software failures, Heuristic, Prediction models, Parallel programs (Computer programs)

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

Subject Terms: Computer simulation, Spiral galaxies, Parallel programs (Computer programs), Gravitation, Star formation, Computational fluid dynamics

High-Performance Modeling of Laser Induced Heating of TiO–SiO Thin Films.

Authors: Grigoriev, F. V., Sulimov, V. B., Tikhonravov, A. V.

Source: Lobachevskii Journal of Mathematics; Aug2025, Vol. 46 Issue 8, p3678-3686, 9p

Subject Terms: Titanium dioxide films, Silicon oxide films, Laser-radiation heating, Parallel programs (Computer programs), Point defects

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

Authors: Xu, Xuezheng, Yang, Deheng, Wang, Lu, Wang, Tao, Huang, Anwen, Li, Qiong

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

Subject Terms: Formal methods (Computer science), Consistency models (Computers), Proof theory, Parallel programs (Computer programs), Parallel processing, Reduced instruction set computers, Systems design

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

Subject Terms: Software engineering, Semantics, Logic, Mathematical proofs, Simulation methods & models, Parallel programs (Computer programs), Interactive computer systems

CaTS: Integration of Geant4 and Opticks.

Authors: Wenzel, Hans, Yung Jun, Soon, Genser, Krzysztof, De Figueiredo, Felipe

Source: EPJ Web of Conferences; 5/6/2024, Vol. 295, p1-7, 7p

Subject Terms: Photons, Graphics processing units, Liquid argon, Computer simulation, Parallel programs (Computer programs)

Structured arrows : a type-based framework for structured parallelism

Authors: Castro, David

Contributors: Hammond, Kevin

Subject Terms: 005.3, Parallel computing, Algorithmic skeletons, Structured recursion, Hylomorphisms, Type and effect systems, Cost models, QA76.642C2, Parallel programs (Computer programs), Parallel programs (Computer programs)--Verification, Parallel programs (Computer programs)--Costs

Access URL: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/759337

Employing MPI_T in MPI Advisor to optimize application performance.

Authors: Gallardo, Esthela¹ egallardo5@miners.utep.edu, Vienne, Jérôme², Fialho, Leonardo², Teller, Patricia¹, Browne, James²

Source: International Journal of High Performance Computing Applications. Nov2018, Vol. 32 Issue 6, p882-896. 15p.

Subject Terms: *High performance computing, *Information technology, *Wireless communications, Message passing (Computer science), Parallel programs (Computer programs)

A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF.

Authors: Sun, Jinghao, Guan, Nan, Jiang, Xu, Chang, Shuangshuang, Guo, Zhishan, Deng, Qingxu, Yi, Wang

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Nov2018, Vol. 37 Issue 11, p2200-2211. 12p.

Subject Terms: *Real-time computing, *Parallel programming, *Algorithms, Parallel programs (Computer programs), Directed acyclic graphs, Computer scheduling, Mathematical bounds, Multicore processors

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

Authors: Cheikh, Faouzi A.¹, Palomar, Rafael^1,2, Elle, Ole J.^2,3, Gómez-Luna, Juan⁴, Olivares-Bueno, Joaquín⁴

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

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