• Suche: "Parallel programs (Computer programs)"

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 1.201

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.

COMPUTER memory manageme... PARALLEL programs (Compu...
Fachzeitschrift
Zur Merkliste hinzufügen
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
Zur Merkliste hinzufügen
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
Zur Merkliste hinzufügen
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
Zur Merkliste hinzufügen
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
Zur Merkliste hinzufügen
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
Zur Merkliste hinzufügen
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
Zur Merkliste hinzufügen
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
Zur Merkliste hinzufügen
9

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.

PARALLEL programming C++ PERFORMANCE PARALLEL programs (Compu... MULTICORE processors SIMD (Computer architect...
Zeitschrift
Zur Merkliste hinzufügen
10

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.

DATA analysis COMPUTER programming DATA security COMPUTER programmers PROGRAMMING languages PARALLEL programs (Compu... …
Zeitschrift
Zur Merkliste hinzufügen
11

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 processing PARALLEL programs (Compu... SIMULTANEOUS multithread... DEBUGGING COMPUTER software testin... JAVA programming languag... …
Zeitschrift
Zur Merkliste hinzufügen
12

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.

INFORMATION technology COMPUTER science COMPUTER software COMPUTER programming DATA libraries PARALLEL programs (Compu... …
Zeitschrift
Zur Merkliste hinzufügen
13

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.

MULTIPROCESSORS PARALLEL processing COMPUTER input-output eq... VIRTUAL machine systems SYSTEM downtime COMPUTER storage devices …
Zeitschrift
Zur Merkliste hinzufügen
14

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.

COMPUTER programming COMPUTER science ELECTRONIC data processi... SCALABILITY COMPUTER networks CLIENT/SERVER computing …
Zeitschrift
Zur Merkliste hinzufügen
15

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.

COMPUTER programming SOFTWARE engineering COMPUTER software SYSTEMS software ALGORITHMS PARALLEL programs (Compu... …
Zeitschrift
Zur Merkliste hinzufügen
16

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

COMPUTER programming ELECTRONIC data processi... COMPUTER operating syste... COMPUTER multitasking COMPUTER software develo... LAPTOP computers …
Zeitschrift
Zur Merkliste hinzufügen
17

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
Zur Merkliste hinzufügen
18

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
Zur Merkliste hinzufügen
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
Zur Merkliste hinzufügen
20

Face the Inevitable, Embrace Parallelism.
Communications of the ACM. Sep2009, Vol. 52 Issue 9, p36-38. 3p. 1 Color Photograph.

PARALLEL programming COMPUTER software develo... COMPUTER input-output eq... APPLICATION software PROGRAMMING languages PARALLEL programs (Compu... …
Zeitschrift
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter