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 条
  • [21] Efficient run-time monitoring of timing constraints
    Mok, Aloysius K.
    Liu, Guangtian
    Real-Time Technology and Applications - Proceedings, 1997, : 252 - 262
  • [22] AN APPROACH TO THE RUN-TIME MONITORING OF PARALLEL PROGRAMS
    CAI, WT
    TURNER, SJ
    COMPUTER JOURNAL, 1994, 37 (04): : 333 - 345
  • [23] Run-time Performance Monitoring of Hardware Accelerators
    Madronal, Daniel
    Fanni, Tiziana
    CF '19 - PROCEEDINGS OF THE 16TH ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS, 2019, : 289 - 291
  • [24] Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
    Mine, Antoine
    PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 6602 : 398 - 418
  • [25] Web service run-time monitoring and visualization analysis based on probe
    Chen, Liang
    Xiong, Dapeng
    Zou, Peng
    Wang, Hua
    2016 IEEE FIRST INTERNATIONAL CONFERENCE ON DATA SCIENCE IN CYBERSPACE (DSC 2016), 2016, : 446 - 451
  • [26] STATIC ANALYSIS OF RUN-TIME ERRORS IN EMBEDDED REAL-TIME PARALLEL C PROGRAMS
    Mine, Antoine
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (01)
  • [27] A Run-Time Algorithm for Detecting Shill Bidding in Online Auctions
    Majadi, Nazia
    Trevathan, Jarrod
    Gray, Heather
    JOURNAL OF THEORETICAL AND APPLIED ELECTRONIC COMMERCE RESEARCH, 2018, 13 (03): : 17 - 49
  • [28] Detecting potential deadlocks through change impact analysis
    Chelsea A. Metcalf
    Tuba Yavuz
    Software Quality Journal, 2018, 26 : 1015 - 1036
  • [29] Detecting potential deadlocks through change impact analysis
    Metcalf, Chelsea A.
    Yavuz, Tuba
    SOFTWARE QUALITY JOURNAL, 2018, 26 (03) : 1015 - 1036
  • [30] Detecting and Tackling Run-Time Obstacles in Social Business Processes
    Maamar, Zakaria
    Sellami, Mohamed
    Faci, Noura
    Lefebvre, Sylvain
    2017 IEEE 31ST INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA), 2017, : 371 - 378
12345