A replay system for performance analysis of multi-threaded programs

被引：0
|
作者：
Key Laboratory of Services Computing Technology and System, Ministry of Education, Huazhong University of Science and Technology, Wuhan [1 ]
430074, China
机构：
来源：
Jisuanji Yanjiu yu Fazhan | / 1卷 / 45-55期
关键词：
D O I：
10.7544/issn1000-1239.2015.20140105
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] On interleaving space exploration of multi-threaded programs
    Dongjie CHEN
    Yanyan JIANG
    Chang XU
    Xiaoxing MA
    Frontiers of Computer Science, 2021, (04) : 1 - 12
  • [22] On interleaving space exploration of multi-threaded programs
    Dongjie Chen
    Yanyan Jiang
    Chang Xu
    Xiaoxing Ma
    Frontiers of Computer Science, 2021, 15
  • [23] Verifying multi-threaded C programs with SPIN
    Zaks, Anna
    Joshi, Rajeev
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 325 - +
  • [24] On interleaving space exploration of multi-threaded programs
    Chen, Dongjie
    Jiang, Yanyan
    Xu, Chang
    Ma, Xiaoxing
    FRONTIERS OF COMPUTER SCIENCE, 2021, 15 (04)
  • [25] Partial Redundancy Elimination for Multi-threaded Programs
    El-Zawawy, Mohamed A.
    Nayel, Hamada A.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2011, 11 (10): : 127 - 133
  • [26] A Tool to Compute the Leakage of Multi-threaded Programs
    Tri Minh Ngo
    Quang Tuan Duong
    MODERN APPROACHES FOR INTELLIGENT INFORMATION AND DATABASE SYSTEMS, 2018, 769 : 527 - 537
  • [27] Compositional Termination Proofs for Multi-threaded Programs
    Popeea, Corneliu
    Rybalchenko, Andrey
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 : 237 - 251
  • [28] A Tool to Detect Performance Problems of Multi-threaded Programs on NUMA Systems
    Zhu, Liang
    Jin, Hai
    Liao, Xiaofei
    2016 IEEE TRUSTCOM/BIGDATASE/ISPA, 2016, : 1145 - 1152
  • [29] Reduction for Compositional Verification of Multi-Threaded Programs
    Popeea, Corneliu
    Rybalchenko, Andrey
    Wilhelm, Andreas
    2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 187 - 194
  • [30] A generic approach to the security of multi-threaded programs
    Mantel, H
    Sabelfeld, A
    14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2001, : 126 - 142
12345