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.

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 Charguéraud, Arthur Pottier, François

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 Garanina, Natalia Staroletov, Sergey

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 et al.

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 et al.

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)

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

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 et al.

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

Black-Box Bug Amplification for Multithreaded Software.

Authors: Weiss, Yeshayahu Amram, Gal Elyasaf, Achiya et al.

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 et al.

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

Can Traditional Programming Bridge the Ninja Performance Gap for Parallel Computing Applications?

Authors: Satish, Nadathur Kim, Changkyu Chhugani, Jatin et al.

Source: Communications of the ACM. May2015, Vol. 58 Issue 5, p77-86. 10p. 2 Diagrams, 1 Chart, 9 Graphs.

Subject Terms: *PARALLEL programming, *C++, PERFORMANCE, PARALLEL programs (Computer programs), MULTICORE processors, SIMD (Computer architecture)

CaTS: Integration of Geant4 and Opticks.

Authors: Wenzel, Hans Yung Jun, Soon Genser, Krzysztof et al.

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)

Composable Memory Transactions.

Authors: Harris, Tim Marlow, Simon Jones, Simon Peyton et al.

Source: Communications of the ACM. Aug2008, Vol. 51 Issue 8, p91-100. 10p. 1 Chart.

Subject Terms: *COMPUTER programming, *SOFTWARE engineering, PARALLEL programs (Computer programs), COMPUTER memory management, THREADS (Computer programs), PARALLEL algorithms

Transactional Memory.

Authors: LARUS, JAMES KOZYRAKIS, CHRISTOS

Source: Communications of the ACM. Jul2008, Vol. 51 Issue 7, p80-88. 9p. 5 Color Photographs, 1 Diagram.

Subject Terms: *COMPUTER programming, *ELECTRONIC data processing, *COMPUTER operating systems, *COMPUTER multitasking, *COMPUTER software development, PARALLEL programs (Computer programs), HISTORY

The rise and fall of high performance Fortran.

Authors: Kennedy, Ken Koelbel, Charles Zima, Hans

Source: Communications of the ACM. Nov2011, Vol. 54 Issue 11, p74-82. 9p.

Subject Terms: *PARALLEL programming, *COMPUTER architecture, *PARALLEL processing, *COMPUTER programming, PARALLEL programs (Computer programs), FORTRAN, ELECTRONIC systems, HISTORY

FastTrack: Efficient and Precise Dynamic Race Detection.

Authors: Flanagan, Cormac Freund, Stephen N.

Source: Communications of the ACM. Nov2010, Vol. 53 Issue 11, p93-101. 9p. 5 Diagrams, 2 Charts.

Subject Terms: *DATA analysis, *COMPUTER programming, PARALLEL programs (Computer programs), VECTOR analysis, ACQUISITION of data, ALGORITHM research