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 条
  • [1] Detecting potential deadlocks with static analysis and run-time monitoring
    Agarwal, Rahul
    Wang, Liqiang
    Stoller, Scott D.
    HARDWARE AND SOFTWARE VERIFICATION AND TESTING, 2006, 3875 : 191 - 207
  • [2] Run-time detection of communication deadlocks in occam 2 programs
    Zhao, JJ
    Abe, H
    Nomura, Y
    Cheng, JD
    Ushijima, K
    CORRECT MODELS OF PARALLEL COMPUTING, 1997, 49 : 97 - 107
  • [3] A static analysis method for run-time errors detection
    Cao, WJ
    Xu, SH
    Shi, ZG
    ISTM/2005: 6th International Symposium on Test and Measurement, Vols 1-9, Conference Proceedings, 2005, : 6615 - 6618
  • [4] Run-Time Analysis and Instrumentation for Communication Overlap Potential
    Natvig, Thorvald
    Elster, Anne C.
    RECENT ADVANCES IN THE MESSAGE PASSING INTERFACE, 2010, 6305 : 42 - 49
  • [5] A Method of Run-Time Detecting DDoS Attacks
    Li, Muhai
    Li, Ming
    PROCEEDINGS OF THE 12TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS , PTS 1-3: NEW ASPECTS OF COMPUTERS, 2008, : 393 - +
  • [6] Static checker of semantic run-time errors
    Kuksenko, SV
    Shelekhov, VI
    PROGRAMMING AND COMPUTER SOFTWARE, 1998, 24 (06) : 288 - 300
  • [7] Run-time monitoring of distributed applications
    Logean, X
    Dietrich, F
    Karamyan, H
    Koppenhöfer, S
    MIDDLEWARE'98: IFIP INTERNATIONAL CONFERENCE ON DISTRIBUTED SYSTEMS PLATFORMS AND OPEN DISTRIBUTED PROCESSING, 1998, : 459 - 474
  • [8] Run-Time Monitoring of Electronic Contracts
    Kyas, Marcel
    Prisacariu, Cristian
    Schneider, Gerardo
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 397 - 407
  • [9] Reducing the Overhead of Assertion Run-time Checks via Static Analysis
    Stulova, Nataliia
    Morales, Jose F.
    Hermenegildo, Manuel V.
    PROCEEDINGS OF THE 18TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2016), 2016, : 90 - 103
  • [10] Run-time Monitoring and Formal Analysis of Information Flows in Chromium
    Bauer, Lujo
    Cai, Shaoying
    Jia, Limin
    Passaro, Timothy
    Stroucken, Michael
    Tian, Yuan
    22ND ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2015), 2015,
12345