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 条
  • [1] PARFORMAN - An assertion language for specifying behavior when debugging parallel applications
    Auguston, M
    Fritzson, P
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (04) : 609 - 640
  • [2] A framework of an assertion-based algorithmic debugging for distributed programs
    Ohta, T
    Kinoshita, H
    Kimata, T
    Mizuno, T
    15TH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, PROCEEDINGS, 2001, : 319 - 324
  • [3] A framework for assertion-based debugging in constraint logic programming
    Puebla, G
    Bueno, F
    Hermenegildo, M
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, 1998, 1520 : 472 - 472
  • [4] RunAssert: A Non-Intrusive Run-Time Assertion for Parallel Programs Debugging
    Wen, Chi-Neng
    Chou, Shu-Hsuan
    Chen, Tien-Fu
    Lin, Tay-Jyi
    2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 287 - 290
  • [5] SystemVerilog Assertion Debugging based on Visualization, Simulation Results, and Mutation
    Mostafa, Moaz
    Safar, Mona
    El-Kharashi, M. Watheq
    Dessouky, Mohamed
    2014 15TH INTERNATIONAL MICROPROCESSOR TEST AND VERIFICATION WORKSHOP (MTV 2014), 2015, : 55 - 60
  • [6] The State of Debugging in 2022 (Keynote)
    O'Callahan, Robert
    COMPANION PROCEEDINGS OF THE 2022 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SYSTEMS, PROGRAMMING, LANGUAGES, AND APPLICATIONS: SOFTWARE FOR HUMANITY, SPLASH COMPANION 2022, 2022, : 2 - 2
  • [7] Property-Based Testing and Debugging of Quantum Programs (Keynote)
    Mousavi, Mohammad Reza
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING COMPANION 2024, 2024, : 117 - 117
  • [8] SWAT: Assertion-based Debugging of Concurrency Issues at System Level
    Murillo, Luis Gabriel
    Buecs, Robert Lajos
    Hincapie, Daniel
    Leupers, Rainer
    Ascheid, Gerd
    2015 20TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2015, : 600 - 605
  • [9] Debugging Debugging ACM SIGSOFT Impact Paper Award Keynote
    Zeller, Andreas
    7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2009, : 263 - 264
  • [10] Advanced Debugging Techniques in Practice (Keynote)
    O'Callahan, Robert
    PROCEEDINGS OF THE 2ND ACM INTERNATIONAL WORKSHOP ON FUTURE DEBUGGING TECHNIQUES, DEBT 2024, 2024, : 1 - 1
12345