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

Συγγραφείς: Xiao, Lili, Zhu, Huibiao, Bowen, Jonathan P.

Πηγή: Journal of Software: Evolution & Process; Jul2026, Vol. 38 Issue 7, p1-21, 21p

Θεματικοί όροι: Consistency models (Computers), Programming language semantics, Semantics methodology, ARM microprocessors, Parallel programs (Computer programs), Software verification

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

Συγγραφείς: Moine, Alexandre¹ (AUTHOR) alexandre.moine@nyu.edu, Charguéraud, Arthur² (AUTHOR) arthur.chargueraud@inria.fr, Pottier, François³ (AUTHOR) francois.pottier@inria.fr

Πηγή: ACM Transactions on Programming Languages & Systems. Mar2025, Vol. 47 Issue 1, p1-71. 71p.

Θεματικοί όροι: Computer memory management, Parallel programs (Computer programs)

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

Συγγραφείς: Gebremariam, Seyoum Yami¹ (AUTHOR) Sgebremariam@mwdh2o.com

Πηγή: Hydrological Sciences Journal/Journal des Sciences Hydrologiques. Aug2025, Vol. 70 Issue 10, p1700-1723. 24p.

Θεματικοί όροι: *Sensitivity analysis, *Parallel programs (Computer programs), *Climate change, *Ecological models

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

Συγγραφείς: Gorlatch, Sergei¹ (AUTHOR) gorlatch@uni-muenster.de, Garanina, Natalia^2,3 (AUTHOR), Staroletov, Sergey⁴ (AUTHOR)

Πηγή: Journal of Mathematical Sciences. May2025, Vol. 290 Issue 5, p641-653. 13p.

Θεματικοί όροι: *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+.

Συγγραφείς: Xiao, Lili, Hou, Zhiru, Zhu, Huibiao, He, Mengda, Qin, Shengchao

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

Θεματικοί όροι: Software verification, Computer architecture, Synchronization, Formal methods (Computer science), Formal languages, Parallel programs (Computer programs), Parallel processing

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

Συγγραφείς: Pira, Einollah, Rouhi, Alireza

Πηγή: Quality & Reliability Engineering International; Dec2025, Vol. 41 Issue 8, p3686-3697, 12p

Θεματικοί όροι: Heuristic, Verification of computer systems, Software development tools, Computer performance, State-space methods, Software validation, Parallel programs (Computer programs)

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

Συγγραφείς: Şakar, Ömer, Safari, Mohsen, Huisman, Marieke, Wijs, Anton

Πηγή: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p

Θεματικοί όροι: Program transformation, Software verification, Optimization algorithms, Parallel programs (Computer programs), Scientific observation

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

Συγγραφείς: Tagliazucchi, Matteo, Moresco, Michele, Borghi, Nicola, Fiebig, Manfred

Πηγή: Astronomy & Astrophysics / Astronomie et Astrophysique; 2025, Vol. 702, p1-13, 13p

Θεματικοί όροι: Gravitational waves, Bayesian analysis, Physical cosmology, Gravitational wave detectors, Gravitation, Parallel programs (Computer programs)

Εταιρία/Οντότητα: Laser Interferometer Gravitational-Wave Observatory

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

Συγγραφείς: Jonsson, Bengt, Lång, Magnus, Sagonas, Konstantinos

Πηγή: Formal Methods in System Design; Oct2025, Vol. 67 Issue 1, p71-105, 35p

Θεματικοί όροι: Software verification, Parallel programs (Computer programs), Synchronization, Computer software execution

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

Συγγραφείς: Gasbarro, Anthony, Masuda, Yong-Sung D., Lubecke, Victor M.

Πηγή: Micromachines; Oct2025, Vol. 16 Issue 10, p1084, 11p

Θεματικοί όροι: Two-dimensional materials (Nanotechnology), Machine learning, Image processing, Parallel programs (Computer programs), Optical pattern recognition, Spectrum analysis

Black-Box Bug Amplification for Multithreaded Software.

Συγγραφείς: Weiss, Yeshayahu, Amram, Gal, Elyasaf, Achiya, Farchi, Eitan, Margalit, Oded, Weiss, Gera

Πηγή: Mathematics (2227-7390); Sep2025, Vol. 13 Issue 18, p2921, 42p

Θεματικοί όροι: Computer software testing, Software failures, Heuristic, Prediction models, Parallel programs (Computer programs)

Numerical Model for Simulations of Taffy Galaxies.

Συγγραφείς: Khoperskov, A. V., Khrapov, S. S., Savin, E. S.

Πηγή: Lobachevskii Journal of Mathematics; Aug2025, Vol. 46 Issue 8, p3698-3709, 12p

Θεματικοί όροι: 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.

Συγγραφείς: Grigoriev, F. V., Sulimov, V. B., Tikhonravov, A. V.

Πηγή: Lobachevskii Journal of Mathematics; Aug2025, Vol. 46 Issue 8, p3678-3686, 9p

Θεματικοί όροι: 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.

Συγγραφείς: Xu, Xuezheng, Yang, Deheng, Wang, Lu, Wang, Tao, Huang, Anwen, Li, Qiong

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

Θεματικοί όροι: 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.

Συγγραφείς: Foster, Simon, Hur, Chung-Kil, Woodcock, Jim

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

Θεματικοί όροι: Software engineering, Semantics, Logic, Mathematical proofs, Simulation methods & models, Parallel programs (Computer programs), Interactive computer systems

CaTS: Integration of Geant4 and Opticks.

Συγγραφείς: Wenzel, Hans, Yung Jun, Soon, Genser, Krzysztof, De Figueiredo, Felipe

Πηγή: EPJ Web of Conferences; 5/6/2024, Vol. 295, p1-7, 7p

Θεματικοί όροι: Photons, Graphics processing units, Liquid argon, Computer simulation, Parallel programs (Computer programs)

Structured arrows : a type-based framework for structured parallelism

Συγγραφείς: Castro, David

Συνεισφορές: Hammond, Kevin

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/759337

Employing MPI_T in MPI Advisor to optimize application performance.

Συγγραφείς: Gallardo, Esthela¹ egallardo5@miners.utep.edu, Vienne, Jérôme², Fialho, Leonardo², Teller, Patricia¹, Browne, James²

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

Θεματικοί όροι: *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.

Συγγραφείς: Sun, Jinghao, Guan, Nan, Jiang, Xu, Chang, Shuangshuang, Guo, Zhishan, Deng, Qingxu, Yi, Wang

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

Θεματικοί όροι: *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.

Συγγραφείς: Cheikh, Faouzi A.¹, Palomar, Rafael^1,2, Elle, Ole J.^2,3, Gómez-Luna, Juan⁴, Olivares-Bueno, Joaquín⁴

Πηγή: International Journal of Parallel Programming. Dec2018, Vol. 46 Issue 6, p1035-1062. 28p.

Θεματικοί όροι: Graphics processing units, Parallel programs (Computer programs), Heterogeneous computing, Texture analysis (Image processing), Mathematical physics