Suchergebnisse - automation of parallel program debugging

  1. 1

    Automation of Debugging Parallel Programs in the DVM System von Bakhtin, V. A.

    ISSN: 2070-0482, 2070-0490
    Veröffentlicht: Moscow Pleiades Publishing 01.12.2024
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  2. 2

    Automatic performance debugging of SPMD-style parallel programs von Liu, Xu, Zhan, Jianfeng, Zhan, Kunlin, Shi, Weisong, Yuan, Lin, Meng, Dan, Wang, Lei

    ISSN: 0743-7315, 1096-0848
    Veröffentlicht: Amsterdam Elsevier Inc 01.07.2011
    Veröffentlicht in Journal of parallel and distributed computing (01.07.2011)
    “… Automatic performance debugging of parallel applications includes two main steps …”
    Volltext
    Journal Article
  3. 3

    The use of erratic behavior templates in debugging parallel programs by the automated validity verification method von Vlasenko, A. Yu, Gudov, A. M.

    ISSN: 1064-2307, 1555-6530
    Veröffentlicht: Moscow Pleiades Publishing 01.07.2017
    “… A modification of the method of automated validity verification used in debugging parallel programs for computers with distributed memory is proposed …”
    Volltext
    Journal Article
  4. 4

    Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences von Hierons, Robert M., Turker, Uraz Cengiz

    ISSN: 0098-5589, 1939-3520
    Veröffentlicht: New York IEEE 01.11.2016
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  5. 5

    enDebug: A hardware–software framework for automated energy debugging von Chen, Jie, Venkataramani, Guru

    ISSN: 0743-7315, 1096-0848
    Veröffentlicht: Elsevier Inc 01.10.2016
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  6. 6

    Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs von Jannesari, Ali, Wolf, Felix

    ISSN: 0885-7458, 1573-7640
    Veröffentlicht: New York Springer US 01.06.2016
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  7. 7

    The experience of using DVM and SAPFOR systems in semi automatic parallelization of an application for 3D modeling in geophysics von Kataev, Nikita, Kolganov, Alexander

    ISSN: 0920-8542, 1573-0484
    Veröffentlicht: New York Springer US 01.12.2019
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  8. 8

    MEEK: Re-thinking Heterogeneous Parallel Error Detection Architecture for Real-World OoO Superscalar Processors von Jiang, Zhe, Liao, Minli, Ainsworth, Sam, You, Dean, Jones, Timothy

    Veröffentlicht: IEEE 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 …”
    Volltext
    Tagungsbericht
  9. 9

    Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects von Al-Bataineh, Omar I.

    ISSN: 2643-1572
    Veröffentlicht: ACM 27.10.2024
    “… The paper also describes three repair approaches for multi-fault programs, namely iterative, parallel, and simultaneous …”
    Volltext
    Tagungsbericht
  10. 10

    Time-Aware Instrumentation of Embedded Software von Fischmeister, Sebastian, Lam, Patrick

    ISSN: 1551-3203, 1941-0050
    Veröffentlicht: Piscataway IEEE 01.11.2010
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  11. 11

    Software Testing and Verification in Climate Model Development von Clune, T. L., Rood, R. B.

    ISSN: 0740-7459, 1937-4194
    Veröffentlicht: Los Alamitos IEEE 01.11.2011
    Veröffentlicht in IEEE software (01.11.2011)
    “… Computer infrastructure over that period has gone from punchcard mainframes to modern parallel clusters …”
    Volltext
    Journal Article
  12. 12

    Automated Analysis of Flakiness-mitigating Delays von Malm, Jean, Causevic, Adnan, Lisper, Bjorn, Eldh, Sigrid

    ISSN: 2833-9061
    Veröffentlicht: ACM 01.10.2020
    “… During testing of parallel systems, which allow asynchronous communication, test flakiness is sometimes avoided by explicitly inserting delays in test code …”
    Volltext
    Tagungsbericht
  13. 13

    A Scalable Prescriptive Parallel Debugging Model von Jensen, Nicklas Bo, Nielsen, Niklas Quarfot, Lee, Gregory L., Karlsson, Sven, Legendre, Matthew, Schulz, Martin, Ahn, Dong H.

    ISSN: 1530-2075
    Veröffentlicht: IEEE 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 …”
    Volltext
    Tagungsbericht
  14. 14

    Coding Agents: A Comprehensive Survey of Automated Bug Fixing Systems and Benchmarks von Puvvadi, Meghana, Arava, Sai Kumar, Santoria, Adarsh, Chennupati, Sesha Sai Prasanna, Puvvadi, Harsha Vardhan

    ISSN: 2473-5655
    Veröffentlicht: IEEE 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 …”
    Volltext
    Tagungsbericht
  15. 15

    RunAssert: A non-intrusive run-time assertion for parallel programs debugging von Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen, Tay-Jyi Lin

    ISBN: 1424470544, 9781424470549
    ISSN: 1530-1591
    Veröffentlicht: IEEE 01.03.2010
    “… Therefore, current intrusive debugging methodologies for sequential programs cannot be used directly in parallel programs in a multicore environment …”
    Volltext
    Tagungsbericht
  16. 16

    Two automated techniques for analyzing and debugging Mpi-based programs von Alaa Ismail Elnashar, Sultan Aljahdali, Mosaid Al Sadhan

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 04.11.2013
    Veröffentlicht in 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 …”
    Volltext
    Paper
  17. 17

    Debugging Ada Tasking Programs von Heimbold, D., Luckham, D.

    ISSN: 0740-7459, 1937-4194
    Veröffentlicht: Los Alamitos IEEE 01.03.1985
    Veröffentlicht in IEEE software (01.03.1985)
    “… Debuggers for parallel programs have to be more than passive information gatherers-they should automatically detect errors …”
    Volltext
    Journal Article
  18. 18

    BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs von Mei, Xiupei, Wei, Zhengyuan, Zhang, Hao, Chan, W.K.

    ISSN: 2833-9061
    Veröffentlicht: ACM 01.10.2020
    “… programs is challenging to be parallelized due to their inherent historic event sensitivity and incremental …”
    Volltext
    Tagungsbericht
  19. 19

    A temporal logic language for debugging parallel programs von Frey, M., Weininger, A.

    ISBN: 9780818664304, 0818664304
    Veröffentlicht: IEEE Comput. Soc. Press 1994
    “… In this paper we present a temporal logic specification language for debugging parallel programs …”
    Volltext
    Tagungsbericht
  20. 20

    Deterministic event-based control of Virtual Platforms for MPSoC software debugging von Murillo, Luis Gabriel, Buecs, Robert Lajos, Leupers, Rainer, Ascheid, Gerd

    Veröffentlicht: IEEE 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 …”
    Volltext
    Tagungsbericht