*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 994

1

A comprehensive approach to conducting multi-criteria sensitivity analysis of computationally expensive multidimensional hydrodynamic-ecology models (MHEs).
Gebremariam, Seyoum Yami
Hydrological Sciences Journal/Journal des Sciences Hydrologiques. Aug2025, Vol. 70 Issue 10, p1700-1723. 24p.

SENSITIVITY analysis PARALLEL programs (Compu... CLIMATE change ECOLOGICAL models
*Academic Journal*
2

USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS.
Gorlatch, Sergei ; Garanina, Natalia ; Staroletov, Sergey
Journal of Mathematical Sciences. May2025, Vol. 290 Issue 5, p641-653. 13p.

HIGH performance computi... PARALLEL programs (Compu... OPENCL (Computer program... SOFTWARE verification PROGRAM transformation MATHEMATICAL optimizatio...
*Academic Journal*
3

Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.
Xiao, Lili ; Hou, Zhiru ; Zhu, Huibiao ; et al.
Journal of Circuits, Systems & Computers; 1/15/2026, Vol. 35 Issue 1, p1-21, 21p

SOFTWARE verification COMPUTER architecture SYNCHRONIZATION FORMAL methods (Computer... FORMAL languages PARALLEL programs (Compu...
*Academic Journal*
4

Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.
Moine, Alexandre ; Charguéraud, Arthur ; Pottier, François
ACM Transactions on Programming Languages & Systems. Mar2025, Vol. 47 Issue 1, p1-71. 71p.

COMPUTER memory manageme... PARALLEL programs (Compu...
*Academic Journal*
5

Preserving provability over GPU program optimizations with annotation-aware transformations.
Şakar, Ömer ; Safari, Mohsen ; Huisman, Marieke ; et al.
Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p

PROGRAM transformation SOFTWARE verification OPTIMIZATION algorithms PARALLEL programs (Compu... SCIENTIFIC observation
*Academic Journal*
6

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... SOFTWARE development too... COMPUTER performance STATE-space methods SOFTWARE validation
*Academic Journal*
7

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 material... MACHINE learning IMAGE processing PARALLEL programs (Compu... OPTICAL pattern recognit... SPECTRUM analysis
*Academic Journal*
8

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 (Compu... SYNCHRONIZATION COMPUTER software execut...
*Academic Journal*
9

Accelerating the standard siren method: Improved constraints on modified gravitational-wave propagation with future data.
Tagliazucchi, Matteo ; Moresco, Michele ; Borghi, Nicola ; et al.
Astronomy & Astrophysics / Astronomie et Astrophysique; 2025, Vol. 702, p1-13, 13p

LASER Interferometer Gra... GRAVITATIONAL waves BAYESIAN analysis PHYSICAL cosmology GRAVITATIONAL wave detec... GRAVITATION
*Academic Journal*
10

Black-Box Bug Amplification for Multithreaded Software.
Weiss, Yeshayahu ; Amram, Gal ; Elyasaf, Achiya ; et al.
Mathematics (2227-7390); Sep2025, Vol. 13 Issue 18, p2921, 42p

COMPUTER software testin... SOFTWARE failures HEURISTIC PREDICTION models PARALLEL programs (Compu...
*Academic Journal*
11

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 (Compu... GRAVITATION STAR formation COMPUTATIONAL fluid dyna...
*Academic Journal*
12

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 (Compu... POINT defects
*Academic Journal*
13

Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model.
Xu, Xuezheng ; Yang, Deheng ; Wang, Lu ; et al.
International Journal of Software & Informatics; 2025, Vol. 15 Issue 3, p283-305, 23p

FORMAL methods (Computer... CONSISTENCY models (Comp... PROOF theory PARALLEL programs (Compu... PARALLEL processing REDUCED instruction set...
*Academic Journal*
14

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 & mod... PARALLEL programs (Compu...
*Academic Journal*
15

CaTS: Integration of Geant4 and Opticks.
Wenzel, Hans ; Yung Jun, Soon ; Genser, Krzysztof ; et al.
EPJ Web of Conferences; 5/6/2024, Vol. 295, p1-7, 7p

PHOTONS GRAPHICS processing unit... LIQUID argon COMPUTER simulation PARALLEL programs (Compu...
*Conference*
16

Can Traditional Programming Bridge the Ninja Performance Gap for Parallel Computing Applications?
Satish, Nadathur ; Kim, Changkyu ; Chhugani, Jatin ; et al.
Communications of the ACM. May2015, Vol. 58 Issue 5, p77-86. 10p. 2 Diagrams, 1 Chart, 9 Graphs.

PERFORMANCE PARALLEL programs (Compu... PARALLEL programming C++ MULTICORE processors SIMD (Computer architect...
*Periodical*
17

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
*Dissertation/ Thesis*
18

The rise and fall of high performance Fortran.
Kennedy, Ken ; Koelbel, Charles ; Zima, Hans
Communications of the ACM. Nov2011, Vol. 54 Issue 11, p74-82. 9p.

PARALLEL programming PARALLEL programs (Compu... FORTRAN ELECTRONIC systems COMPUTER architecture PARALLEL processing
*Periodical*
19

FastTrack: Efficient and Precise Dynamic Race Detection.
Flanagan, Cormac ; Freund, Stephen N.
Communications of the ACM. Nov2010, Vol. 53 Issue 11, p93-101. 9p. 5 Diagrams, 2 Charts.

PARALLEL programs (Compu... VECTOR analysis DATA analysis ACQUISITION of data COMPUTER programming ALGORITHM research
*Periodical*
20

Asserting and Checking Determinism for Multithreaded Programs.
Burnim, Jacob ; Sen, Koushik
Communications of the ACM. Jun2010, Vol. 53 Issue 6, p97-105. 9p. 2 Diagrams, 1 Chart.

PARALLEL programs (Compu... SIMULTANEOUS multithread... PARALLEL processing DEBUGGING COMPUTER software testin... JAVA programming languag...
*Periodical*

*Filter*