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 条
  • [41] The Optimum Leakage Principle for Analyzing Multi-threaded Programs
    Chen, Han
    Malacaria, Pasquale
    INFORMATION THEORETIC SECURITY, 2010, 5973 : 177 - 193
  • [42] Distributed Verification of Multi-threaded C++ Programs
    Edelkamp, Stefan
    Jabbar, Shahid
    Sulewski, Damian
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 198 (01) : 33 - 46
  • [43] Study of common pitfalls in simple multi-threaded programs
    Choi, Sung-Eun
    Lewis, E. Christopher
    SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), 2000, : 325 - 329
  • [44] Interactive visualization environment of multi-threaded parallel programs
    Stein, B
    de Kergommeaux, JC
    PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 311 - 318
  • [45] Information Flow Security of Multi-Threaded Distributed Programs
    Focardi, Riccardo
    Centenaro, Matteo
    PLAS'08: PROCEEDINGS OF THE ACM SIGPLAN THIRD WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2008, : 113 - 124
  • [46] Threader: A Verifier for Multi-threaded Programs (Competition Contribution)
    Popeea, Corneliu
    Rybalchenko, Andrey
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 633 - 636
  • [47] Handling information release and erasure in multi-threaded programs
    Jiang, Li
    Ping, Lingdi
    Pan, Xuezeng
    CIS: 2007 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, PROCEEDINGS, 2007, : 824 - 828
  • [48] Safe and Timely Dynamic Updates for Multi-threaded Programs
    Neamtiu, Iulian
    Hicks, Michael
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 13 - 24
  • [49] Logic of multi-threaded programs for non-interference
    Li, Qin
    Zeng, Qing-Kai
    Yuan, Zhi-Xiang
    Ruan Jian Xue Bao/Journal of Software, 2014, 25 (06): : 1143 - 1153
  • [50] Deterministic Synchronization of Multi-Threaded Programs with Operational Transformation
    Boelmann, Christopher
    Schwittmann, Lorenz
    Weis, Torben
    PROCEEDINGS OF 2014 IEEE INTERNATIONAL PARALLEL & DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2014, : 381 - 390
12345