Keynote: Assertion Based Parallel Debugging

被引:0
|
作者
Abramson, David [1 ]
机构
[1] Monash Univ, Fac Informat Technol, Monash eScience & Grid Engn Lab, Clayton, Vic 3800, Australia
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:1 / 1
页数:1
相关论文
共 50 条
  • [21] More Debugging in Parallel
    Hoegerle, Wolfgang
    Steimann, Friedrich
    Frenkel, Marcus
    2014 IEEE 25TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2014, : 133 - 143
  • [22] Systematic debugging of parallel programs based on collective breakpoints
    Kacsuk, P
    INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 83 - 96
  • [23] Systematic debugging of parallel programs based on collective breakpoints
    Hungarian Acad of Sciences, Budapest, Hungary
    Int Workshop Software Eng Parall Distrib Syst Proc, (83-96):
  • [24] BRACE: An Assertion Framework for Debugging Cyber-Physical Systems
    Boos, Kevin
    Fok, Chien-Liang
    Julien, Christine
    Kim, Miryung
    2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1341 - 1344
  • [25] Statistical assertion: A more powerful method for debugging scientific applications
    Minh Ngoc Dinh
    Abramson, David
    Jin, Chao
    JOURNAL OF COMPUTATIONAL SCIENCE, 2014, 5 (02) : 126 - 134
  • [26] AutomaDeD: Automata-Based Debugging for Dissimilar Parallel Tasks
    Bronevetsky, Greg
    Laguna, Ignacio
    Bagchi, Saurabh
    de Supinski, Bronis R.
    Ahn, Dong H.
    Schulz, Martin
    2010 IEEE-IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS DSN, 2010, : 231 - 240
  • [27] DEBUGGING PARALLEL STRAND PROGRAMS
    GITTINS, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 569 : 1 - 16
  • [28] PROGRAM DEBUGGING FOR PARALLEL PROCESSING
    SELL, RP
    COMMUNICATIONS OF THE ACM, 1960, 3 (07) : 398 - 398
  • [29] DEBUGGING OF HETEROGENEOUS PARALLEL SYSTEMS
    FORIN, A
    SIGPLAN NOTICES, 1989, 24 (01): : 130 - 140
  • [30] Parallel program debugging by specification
    Huband, S
    McDonald, C
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2004, 16 (06): : 551 - 585