Keynote: Assertion Based Parallel Debugging

被引：0
|
作者：
Abramson, David [1 ]
机构：
[1] Monash Univ, Fac Informat Technol, Monash eScience & Grid Engn Lab, Clayton, Vic 3800, Australia
来源：
ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PT I: ICA3PP 2011 | 2011年 / 7916卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [31] MODELING CONCURRENCY IN PARALLEL DEBUGGING
    HSEUSH, W
    KAISER, GE
    SIGPLAN NOTICES, 1990, 25 (03): : 11 - 20
  • [32] DEBUGGING TECHNIQUES FOR PARALLEL PROGRAMS
    LEU, E
    SCHIPER, A
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1991, 10 (01): : 5 - 21
  • [33] Parallel debugging: An investigative study
    Zakari, Abubakar
    Lee, Sai Peck
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2019, 31 (11)
  • [34] PARTIAL ORDERS FOR PARALLEL DEBUGGING
    FIDGE, CJ
    SIGPLAN NOTICES, 1989, 24 (01): : 183 - 194
  • [35] Debugging Maude programs via runtime assertion checking and trace slicing
    Alpuente, Maria
    Ballis, Demis
    Frechina, Francisco
    Sapina, Julia
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (05) : 707 - 736
  • [36] Systematic debugging of parallel programs in DIWIDE based on collective breakpoints and macrosteps
    Kacsuk, P
    Lovas, R
    Kovács, J
    EURO-PAR'99: PARALLEL PROCESSING, 1999, 1685 : 90 - 97
  • [37] Synchronization Debugging of Hybrid Parallel Programs
    Krzikalla, Olaf
    Mueller-Pfefferkorn, Ralph
    Nagel, Wolfgang E.
    EURO-PAR 2016: PARALLEL PROCESSING, 2016, 9833 : 37 - 50
  • [38] VISUAL PROGRAMMING AND DEBUGGING FOR PARALLEL COMPUTING
    BROWNE, JC
    HYDER, SI
    DONGARRA, J
    MOORE, K
    NEWTON, P
    IEEE PARALLEL & DISTRIBUTED TECHNOLOGY, 1995, 3 (01): : 75 - 83
  • [39] Reversible Imperative Parallel Programs and Debugging
    Hoey, James
    Ulidowski, Irek
    REVERSIBLE COMPUTATION (RC 2019), 2019, 11497 : 108 - 127
  • [40] DEBUGGING PARALLEL PROGRAMS WITH INSTANT REPLAY
    LEBLANC, TJ
    MELLORCRUMMEY, JM
    IEEE TRANSACTIONS ON COMPUTERS, 1987, 36 (04) : 471 - 482
12345