Suchergebnisse - "Parallel Programs"

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

Autoren: Gebremariam, Seyoum Yami¹ (AUTHOR) Sgebremariam@mwdh2o.com

Quelle: Hydrological Sciences Journal/Journal des Sciences Hydrologiques. Aug2025, Vol. 70 Issue 10, p1700-1723. 24p.

Schlagwörter: *SENSITIVITY analysis, *PARALLEL programs (Computer programs), *CLIMATE change, *ECOLOGICAL models

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

Autoren: Moine, Alexandre Charguéraud, Arthur Pottier, François

Quelle: ACM Transactions on Programming Languages & Systems. Mar2025, Vol. 47 Issue 1, p1-71. 71p.

Schlagwörter: COMPUTER memory management, PARALLEL programs (Computer programs)

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

Autoren: Pira, Einollah Rouhi, Alireza

Quelle: Quality & Reliability Engineering International; Dec2025, Vol. 41 Issue 8, p3686-3697, 12p

Schlagwörter: 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.

Autoren: Şakar, Ömer Safari, Mohsen Huisman, Marieke et al.

Quelle: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p

Schlagwörter: PROGRAM transformation, SOFTWARE verification, OPTIMIZATION algorithms, PARALLEL programs (Computer programs), SCIENTIFIC observation

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

Autoren: Gasbarro, Anthony Masuda, Yong-Sung D. Lubecke, Victor M.

Quelle: Micromachines; Oct2025, Vol. 16 Issue 10, p1084, 11p

Schlagwörter: 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.

Autoren: Jonsson, Bengt Lång, Magnus Sagonas, Konstantinos

Quelle: Formal Methods in System Design; Oct2025, Vol. 67 Issue 1, p71-105, 35p

Schlagwörter: SOFTWARE verification, PARALLEL programs (Computer programs), SYNCHRONIZATION, COMPUTER software execution

Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.

Autoren: Xiao, Lili Hou, Zhiru Zhu, Huibiao et al.

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

Schlagwörter: SOFTWARE verification, COMPUTER architecture, SYNCHRONIZATION, FORMAL methods (Computer science), FORMAL languages, PARALLEL programs (Computer programs), PARALLEL processing

Black-Box Bug Amplification for Multithreaded Software.

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

Quelle: Mathematics (2227-7390); Sep2025, Vol. 13 Issue 18, p2921, 42p

Schlagwörter: COMPUTER software testing, SOFTWARE failures, HEURISTIC, PREDICTION models, PARALLEL programs (Computer programs)

Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model.

Autoren: Xu, Xuezheng Yang, Deheng Wang, Lu et al.

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

Schlagwörter: 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.

Autoren: Foster, Simon Hur, Chung-Kil Woodcock, Jim

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

Schlagwörter: SOFTWARE engineering, SEMANTICS, LOGIC, MATHEMATICAL proofs, SIMULATION methods & models, PARALLEL programs (Computer programs), INTERACTIVE computer systems

Task-RM: A Resource Manager for Energy Reduction in Task-Parallel Applications under Quality of Service Constraints

Autoren: Azhar, Muhammad Waqar Pericas, Miquel Stenström, Per

Quelle: PRIME: Konstruktionsprinciper för minnesberäknande parallella system Transactions on Architecture and Code Optimization. 19(1)

Schlagwörter: quality of service, precedence constraint task parallel programs, hetero- geneous multi-core architectures, run-time systems, DVFS, Energy efficiency, dynamic resource allocation

Dateibeschreibung: electronic

Zugangs-URL: https://research.chalmers.se/publication/528403
https://research.chalmers.se/publication/529378
https://research.chalmers.se/publication/529359
https://research.chalmers.se/publication/529378/file/529378_Fulltext.pdf

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

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

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

Schlagwörter: *PARALLEL programming, *C++, PERFORMANCE, PARALLEL programs (Computer programs), MULTICORE processors, SIMD (Computer architecture)

CaTS: Integration of Geant4 and Opticks.

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

Quelle: EPJ Web of Conferences; 5/6/2024, Vol. 295, p1-7, 7p

Schlagwörter: PHOTONS, GRAPHICS processing units, LIQUID argon, COMPUTER simulation, PARALLEL programs (Computer programs)

The rise and fall of high performance Fortran.

Autoren: Kennedy, Ken Koelbel, Charles Zima, Hans

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

Schlagwörter: *PARALLEL programming, *COMPUTER architecture, *PARALLEL processing, *COMPUTER programming, PARALLEL programs (Computer programs), FORTRAN, ELECTRONIC systems, HISTORY

FastTrack: Efficient and Precise Dynamic Race Detection.

Autoren: Flanagan, Cormac Freund, Stephen N.

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

Schlagwörter: *DATA analysis, *COMPUTER programming, PARALLEL programs (Computer programs), VECTOR analysis, ACQUISITION of data, ALGORITHM research

Asserting and Checking Determinism for Multithreaded Programs.

Autoren: Burnim, Jacob Sen, Koushik

Quelle: Communications of the ACM. Jun2010, Vol. 53 Issue 6, p97-105. 9p. 2 Diagrams, 1 Chart.

Schlagwörter: *PARALLEL processing, PARALLEL programs (Computer programs), SIMULTANEOUS multithreading processors, DEBUGGING, COMPUTER software testing, JAVA programming language

A View of the Parallel Computing Landscape.

Autoren: ASANOVIC, KRSTE BODIK, RASTISLAV DEMMEL, JAMES et al.

Quelle: Communications of the ACM. Oct2009, Vol. 52 Issue 10, p56-67. 12p. 1 Color Photograph, 1 Diagram, 1 Chart, 2 Graphs.

Schlagwörter: PARALLEL programs (Computer programs), PARALLEL computers, MICROPROCESSOR programming

Geografische Kategorien: BERKELEY (Calif.), CALIFORNIA

Firma/Körperschaft: UNIVERSITY of California, Berkeley

Two Hardware-Based Approaches for Deterministic Multiprocessor Replay.

Autoren: Hower, Derek R. Montesinos, Pablo Ceze, Luis et al.

Quelle: Communications of the ACM. Jun2009, Vol. 52 Issue 6, p93-100. 8p. 6 Diagrams, 3 Charts, 4 Graphs.

Schlagwörter: *MULTIPROCESSORS, *PARALLEL processing, PARALLEL programs (Computer programs), THREADS (Computer programs), MULTIPROGRAMMING (Electronic computers), MICROPROCESSORS

Software Transactional Memory: Why is it only a Research Toy?

Autoren: CA&#x...CAVAL, CĂLIN BLUNDELL, COLIN MICHAEL, MAGED et al.

Quelle: Communications of the ACM. Nov2008, Vol. 51 Issue 11, p40-46. 7p. 1 Diagram, 6 Graphs.

Schlagwörter: *COMPUTER programming, *COMPUTER science, *ELECTRONIC data processing, PARALLEL programs (Computer programs), PARALLEL computer software, DATABASE management software

Composable Memory Transactions.

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

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

Schlagwörter: *COMPUTER programming, *SOFTWARE engineering, PARALLEL programs (Computer programs), COMPUTER memory management, THREADS (Computer programs), PARALLEL algorithms