Výsledky vyhledávání - automation of parallel program debugging
-
1
Automation of Debugging Parallel Programs in the DVM System
ISSN: 2070-0482, 2070-0490Vydáno: Moscow Pleiades Publishing 01.12.2024Vydáno 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ískat plný text
Journal Article -
2
Automatic performance debugging of SPMD-style parallel programs
ISSN: 0743-7315, 1096-0848Vydáno: Amsterdam Elsevier Inc 01.07.2011Vydáno v Journal of parallel and distributed computing (01.07.2011)“…Automatic performance debugging of parallel applications includes two main steps…”
Získat 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-6530Vydáno: Moscow Pleiades Publishing 01.07.2017Vydáno 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ískat plný text
Journal Article -
4
Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences
ISSN: 0098-5589, 1939-3520Vydáno: New York IEEE 01.11.2016Vydáno 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ískat plný text
Journal Article -
5
enDebug: A hardware–software framework for automated energy debugging
ISSN: 0743-7315, 1096-0848Vydáno: Elsevier Inc 01.10.2016Vydáno 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ískat plný text
Journal Article -
6
Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs
ISSN: 0885-7458, 1573-7640Vydáno: New York Springer US 01.06.2016Vydáno 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ískat 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-0484Vydáno: New York Springer US 01.12.2019Vydáno 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ískat plný text
Journal Article -
8
MEEK: Re-thinking Heterogeneous Parallel Error Detection Architecture for Real-World OoO Superscalar Processors
Vydáno: IEEE 22.06.2025Vydáno 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ískat plný text
Konferenční příspěvek -
9
Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects
ISSN: 2643-1572Vydáno: ACM 27.10.2024Vydáno 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ískat plný text
Konferenční příspěvek -
10
Time-Aware Instrumentation of Embedded Software
ISSN: 1551-3203, 1941-0050Vydáno: Piscataway IEEE 01.11.2010Vydáno 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ískat plný text
Journal Article -
11
Software Testing and Verification in Climate Model Development
ISSN: 0740-7459, 1937-4194Vydáno: Los Alamitos IEEE 01.11.2011Vydáno v IEEE software (01.11.2011)“… Computer infrastructure over that period has gone from punchcard mainframes to modern parallel clusters…”
Získat plný text
Journal Article -
12
Automated Analysis of Flakiness-mitigating Delays
ISSN: 2833-9061Vydáno: ACM 01.10.2020Vydáno 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ískat plný text
Konferenční příspěvek -
13
A Scalable Prescriptive Parallel Debugging Model
ISSN: 1530-2075Vydáno: IEEE 01.05.2015Vydáno 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ískat plný text
Konferenční příspěvek -
14
Coding Agents: A Comprehensive Survey of Automated Bug Fixing Systems and Benchmarks
ISSN: 2473-5655Vydáno: IEEE 07.03.2025Vydáno 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ískat plný text
Konferenční příspěvek -
15
RunAssert: A non-intrusive run-time assertion for parallel programs debugging
ISBN: 1424470544, 9781424470549ISSN: 1530-1591Vydáno: IEEE 01.03.2010Vydáno 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ískat plný text
Konferenční příspěvek -
16
Two automated techniques for analyzing and debugging Mpi-based programs
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 04.11.2013Vydáno 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ískat plný text
Paper -
17
Debugging Ada Tasking Programs
ISSN: 0740-7459, 1937-4194Vydáno: Los Alamitos IEEE 01.03.1985Vydáno v IEEE software (01.03.1985)“…Debuggers for parallel programs have to be more than passive information gatherers-they should automatically detect errors…”
Získat plný text
Journal Article -
18
BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs
ISSN: 2833-9061Vydáno: ACM 01.10.2020Vydáno 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ískat plný text
Konferenční příspěvek -
19
A temporal logic language for debugging parallel programs
ISBN: 9780818664304, 0818664304Vydáno: IEEE Comput. Soc. Press 1994Vydáno 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ískat plný text
Konferenční příspěvek -
20
Deterministic event-based control of Virtual Platforms for MPSoC software debugging
Vydáno: IEEE 01.07.2015Vydáno 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ískat plný text
Konferenční příspěvek

