• Suche: "Parallel programs (Computer programs)"

Treffer 1 - 20 von 1.190

1

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.

Fachzeitschrift
Merkliste
2

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
Fachzeitschrift
Merkliste
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... …
Fachzeitschrift
Merkliste
4

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
Fachzeitschrift
Merkliste
5

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 …
Fachzeitschrift
Merkliste
6

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...
Fachzeitschrift
Merkliste
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
Fachzeitschrift
Merkliste
8

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...
Fachzeitschrift
Merkliste
9

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...
Fachzeitschrift
Merkliste
10

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
Fachzeitschrift
Merkliste
11

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.

Zeitschrift
Merkliste
12

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.

Zeitschrift
Merkliste
13

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.

Zeitschrift
Merkliste
14

A View of the Parallel Computing Landscape.
ASANOVIC, KRSTE ; BODIK, RASTISLAV ; DEMMEL, JAMES ; et al.
Communications of the ACM. Oct2009, Vol. 52 Issue 10, p56-67. 12p. 1 Color Photograph, 1 Diagram, 1 Chart, 2 Graphs.

Zeitschrift
Merkliste
15

Two Hardware-Based Approaches for Deterministic Multiprocessor Replay.
Hower, Derek R. ; Montesinos, Pablo ; Ceze, Luis ; et al.
Communications of the ACM. Jun2009, Vol. 52 Issue 6, p93-100. 8p. 6 Diagrams, 3 Charts, 4 Graphs.

Zeitschrift
Merkliste
16

Software Transactional Memory: Why is it only a Research Toy?
CA&#x...CAVAL, CĂLIN ; BLUNDELL, COLIN ; MICHAEL, MAGED ; et al.
Communications of the ACM. Nov2008, Vol. 51 Issue 11, p40-46. 7p. 1 Diagram, 6 Graphs.

Zeitschrift
Merkliste
17

Composable Memory Transactions.
Harris, Tim ; Marlow, Simon ; Jones, Simon Peyton ; et al.
Communications of the ACM. Aug2008, Vol. 51 Issue 8, p91-100. 10p. 1 Chart.

Zeitschrift
Merkliste
18

Transactional Memory.
LARUS, JAMES ; KOZYRAKIS, CHRISTOS
Communications of the ACM. Jul2008, Vol. 51 Issue 7, p80-88. 9p. 5 Color Photographs, 1 Diagram.

Zeitschrift
Merkliste
19

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... …
Fachzeitschrift
Merkliste
20

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... …
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter