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 条
  • [11] Combined static and dynamic assertion-based debugging of constraint logic programs
    Puebla, G
    Bueno, F
    Hermenegildo, M
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, PROCEEDINGS, 2000, 1817 : 273 - 292
  • [12] Assertion-based Debugging of Higher-Order (C) LP Programs
    Stulova, Nataliia
    Morales, Jose F.
    Hermenegildo, Manuel V.
    PPDP'14: PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2014, : 225 - 235
  • [13] Debugging in parallel
    ACM Int. Symp. Softw. Test. Anal., 2007, (16-26):
  • [14] Grid service based parallel debugging environment
    Wang, W
    Fang, BX
    ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, 2006, 3842 : 971 - 978
  • [15] Event - based visualization techniques on parallel debugging
    Xiong, Jianxin
    Wang, Dingxing
    Zheng, Weimin
    Shen, Meiming
    Ruan Jian Xue Bao/Journal of Software, 1996, 7 (05): : 292 - 299
  • [16] DEBUGGING PARALLEL PROGRAMS IN PARALLEL
    RUBIN, RV
    SIGPLAN NOTICES, 1989, 24 (01): : 216 - 225
  • [17] ALADDIN - ASSEMBLY LANGUAGE ASSERTION DRIVEN DEBUGGING INTERPRETER
    FAIRLEY, RE
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (04) : 426 - 428
  • [18] SystemVerilog Assertion Debugging: A Visualization and Pattern Matching Model
    Mostafa, Moaz
    Safar, Mona
    El-Kharashi, M. Watheq
    Dessouky, Mohamed
    2015 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING (PACRIM), 2015, : 385 - 390
  • [19] Debugging Parallel DEVS
    Van Mierlo, Simon
    Van Tendeloo, Yentl
    Vangheluwe, Hans
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2017, 93 (04): : 285 - 306
  • [20] PARALLEL PROGRAM DEBUGGING
    LEBLANC, TJ
    PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 65 - 66
12345