Detecting potential deadlocks with static analysis and run-time monitoring

被引：0
|
作者：
Agarwal, R. [1 ]
Wang, Liqinng [1 ]
Stoller, Scott D. [1 ]
机构：
[1] Computer Science Dept., SUNY at Stony Brook, Stony Brook, NY 11794-4400
来源：
Lect. Notes Comput. Sci. | / 191-207期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Algorithms - Code converters - Diagnosis - Error analysis - Java programming language
引用
收藏
相关论文
共 50 条
  • [41] Run-time analysis of time-critical systems
    Cau, A. (cau@dmu.ac.uk), 2005, Elsevier (51)
  • [42] Run-time analysis of time-critical systems
    Zhou, SK
    Zedan, H
    Cau, A
    JOURNAL OF SYSTEMS ARCHITECTURE, 2005, 51 (05) : 331 - 345
  • [43] Run-time Monitoring and Real-time Visualization of Software Architectures
    Dragomir, Ana
    Lichter, Horst
    2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 1, 2013, : 396 - 403
  • [44] Run-time detection of tasking deadlocks in real-time systems with the Ada 95 annex of real-time systems
    Cheng, Jingde
    RELIABLE SOFTWARE TECHNOLOGIES - ADA - EUROPE 2006, PROCEEDINGS, 2006, 4006 : 167 - 178
  • [45] Run-time data-flow analysis
    Jianhui Li
    Binyu Zang
    Rong Wu
    Chuanqi Zhu
    Journal of Computer Science and Technology, 2002, 17 : 442 - 449
  • [46] Can a shape analysis work at run-time?
    Bogda, J
    Singh, A
    USENIX ASSOCIATION PROCEEDINGS JAVA(TM) VIRTUAL MACHINE RESEARCH AND TECHNOLOGY SYMPOSIUM, 2001, : 13 - 25
  • [47] Run-time data-flow analysis
    Li, JH
    Zang, BY
    Wu, R
    Zhu, CQ
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 17 (04) : 442 - 449
  • [48] Prediction of run-time failures using static product quality metrics
    Binkley, AB
    Schach, SR
    SOFTWARE QUALITY JOURNAL, 1998, 7 (02) : 141 - 147
  • [49] Run-time analysis assesses pump performance
    Vandevier, Joe
    OIL & GAS JOURNAL, 2010, 108 (37) : 76 - 79
  • [50] RUN-TIME DEBUGGERS
    NELSON, T
    DR DOBBS JOURNAL, 1993, 18 (12): : 36 - 36
12345