Výsledky vyhľadávania - automation of parallel program debugging
-
1
Automation of Debugging Parallel Programs in the DVM System
ISSN: 2070-0482, 2070-0490Vydavateľské údaje: Moscow Pleiades Publishing 01.12.2024Vydané v Mathematical models and computer simulations (01.12.2024)“…Debugging parallel programs is a labor-intensive and nontrivial task. Parallel algorithms are usually significantly more complex than their sequential counterparts for the same problems…”
Získať plný text
Journal Article -
2
Automatic performance debugging of SPMD-style parallel programs
ISSN: 0743-7315, 1096-0848Vydavateľské údaje: Amsterdam Elsevier Inc 01.07.2011Vydané v Journal of parallel and distributed computing (01.07.2011)“…Automatic performance debugging of parallel applications includes two main steps…”
Získať plný text
Journal Article -
3
The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
ISSN: 1064-2307, 1555-6530Vydavateľské údaje: Moscow Pleiades Publishing 01.07.2017Vydané v Journal of computer & systems sciences international (01.07.2017)“…A modification of the method of automated validity verification used in debugging parallel programs for computers with distributed memory is proposed…”
Získať plný text
Journal Article -
4
Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences
ISSN: 0098-5589, 1939-3520Vydavateľské údaje: New York IEEE 01.11.2016Vydané v IEEE transactions on software engineering (01.11.2016)“…This paper describes an efficient parallel algorithm that uses many-core GPUs for automatically deriving Unique Input Output sequences (UIOs…”
Získať plný text
Journal Article -
5
enDebug: A hardware–software framework for automated energy debugging
ISSN: 0743-7315, 1096-0848Vydavateľské údaje: Elsevier Inc 01.10.2016Vydané v Journal of parallel and distributed computing (01.10.2016)“… In this paper, we propose enDebug, an energy debugging framework that aims to automate the process of energy debugging…”
Získať plný text
Journal Article -
6
Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs
ISSN: 0885-7458, 1573-7640Vydavateľské údaje: New York Springer US 01.06.2016Vydané v International journal of parallel programming (01.06.2016)“… % of all non-deadlock concurrency bugs. A solution to prevent this problem is the automatic generation of parallel unit tests…”
Získať plný text
Journal Article -
7
The experience of using DVM and SAPFOR systems in semi automatic parallelization of an application for 3D modeling in geophysics
ISSN: 0920-8542, 1573-0484Vydavateľské údaje: New York Springer US 01.12.2019Vydané v The Journal of supercomputing (01.12.2019)“…The DVM and SAPFOR systems were primary designed to simplify the development of parallel programs of scientific-technical calculations…”
Získať plný text
Journal Article -
8
MEEK: Re-thinking Heterogeneous Parallel Error Detection Architecture for Real-World OoO Superscalar Processors
Vydavateľské údaje: IEEE 22.06.2025Vydané v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…Heterogeneous parallel error detection is an approach to achieving fault-tolerant processors, leveraging multiple power-efficient cores to re-execute software originally run on a high-performance core…”
Získať plný text
Konferenčný príspevok.. -
9
Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects
ISSN: 2643-1572Vydavateľské údaje: ACM 27.10.2024Vydané v IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)“… The paper also describes three repair approaches for multi-fault programs, namely iterative, parallel, and simultaneous…”
Získať plný text
Konferenčný príspevok.. -
10
Time-Aware Instrumentation of Embedded Software
ISSN: 1551-3203, 1941-0050Vydavateľské údaje: Piscataway IEEE 01.11.2010Vydané v IEEE transactions on industrial informatics (01.11.2010)“… It is particularly important for debugging embedded systems. Instrumented programs produce data traces which enable the developer to locate the origins of misbehaviors in the system under test…”
Získať plný text
Journal Article -
11
Software Testing and Verification in Climate Model Development
ISSN: 0740-7459, 1937-4194Vydavateľské údaje: Los Alamitos IEEE 01.11.2011Vydané v IEEE software (01.11.2011)“… Computer infrastructure over that period has gone from punchcard mainframes to modern parallel clusters…”
Získať plný text
Journal Article -
12
Automated Analysis of Flakiness-mitigating Delays
ISSN: 2833-9061Vydavateľské údaje: ACM 01.10.2020Vydané v 2020 IEEE/ACM 15th International Conference on Automation of Software Test (AST) (01.10.2020)“…During testing of parallel systems, which allow asynchronous communication, test flakiness is sometimes avoided by explicitly inserting delays in test code…”
Získať plný text
Konferenčný príspevok.. -
13
A Scalable Prescriptive Parallel Debugging Model
ISSN: 1530-2075Vydavateľské údaje: IEEE 01.05.2015Vydané v Proceedings - IEEE International Parallel and Distributed Processing Symposium (01.05.2015)“…Debugging is a critical step in the development of any parallel program. However, the traditional interactive debugging model, where users manually step…”
Získať plný text
Konferenčný príspevok.. -
14
Coding Agents: A Comprehensive Survey of Automated Bug Fixing Systems and Benchmarks
ISSN: 2473-5655Vydavateľské údaje: IEEE 07.03.2025Vydané v Proceedings (International Conference on Communication Systems and Network Technologies Online) (07.03.2025)“…One of the trickiest problems in software engineering is automating software issue fixes, which calls for a thorough comprehension of contextual relationships, code semantics, and dynamic debugging techniques…”
Získať plný text
Konferenčný príspevok.. -
15
RunAssert: A non-intrusive run-time assertion for parallel programs debugging
ISBN: 1424470544, 9781424470549ISSN: 1530-1591Vydavateľské údaje: IEEE 01.03.2010Vydané v 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) (01.03.2010)“… Therefore, current intrusive debugging methodologies for sequential programs cannot be used directly in parallel programs in a multicore environment…”
Získať plný text
Konferenčný príspevok.. -
16
Two automated techniques for analyzing and debugging Mpi-based programs
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 04.11.2013Vydané v arXiv.org (04.11.2013)“…Message Passing Interface (MPI) is the most commonly used paradigm in writing parallel programs since it can be employed not only within a single processing node but also across several connected ones…”
Získať plný text
Paper -
17
Debugging Ada Tasking Programs
ISSN: 0740-7459, 1937-4194Vydavateľské údaje: Los Alamitos IEEE 01.03.1985Vydané v IEEE software (01.03.1985)“…Debuggers for parallel programs have to be more than passive information gatherers-they should automatically detect errors…”
Získať plný text
Journal Article -
18
BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs
ISSN: 2833-9061Vydavateľské údaje: ACM 01.10.2020Vydané v 2020 IEEE/ACM 15th International Conference on Automation of Software Test (AST) (01.10.2020)“… programs is challenging to be parallelized due to their inherent historic event sensitivity and incremental…”
Získať plný text
Konferenčný príspevok.. -
19
A temporal logic language for debugging parallel programs
ISBN: 9780818664304, 0818664304Vydavateľské údaje: IEEE Comput. Soc. Press 1994Vydané v System Architecture and Integration: Procedings of the 20th Euromicro Conference, Septemeber 5-8, 1994, Liverpool England (1994)“…In this paper we present a temporal logic specification language for debugging parallel programs…”
Získať plný text
Konferenčný príspevok.. -
20
Deterministic event-based control of Virtual Platforms for MPSoC software debugging
Vydavateľské údaje: IEEE 01.07.2015Vydané v 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) (01.07.2015)“… However, VPs as used for debugging provide only traditional interfaces, such as step-based debuggers and traces, that do little to help with the enormous complexity of MPSoCs and their parallel software…”
Získať plný text
Konferenčný príspevok..

