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 条
  • [31] Effective verification of confidentiality for multi-threaded programs
    Ngo, Tri Minh
    Stoelinga, Marielle
    Huisman, Marieke
    JOURNAL OF COMPUTER SECURITY, 2014, 22 (02) : 269 - 300
  • [32] Analyzing the Impact of Change in Multi-threaded Programs
    Chatterjee, Krishnendu
    de Alfaro, Luca
    Raman, Vishwanath
    Sanchez, Cesar
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2010, 6013 : 293 - +
  • [33] A Type System for Counting Logs of Multi-threaded Nested Transactional Programs
    Anh-Hoang Truong
    Dang Van Hung
    Duc-Hanh Dang
    Xuan-Tung Vu
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY (ICDCIT 2016), 2016, 9581 : 157 - 168
  • [34] Sound Predictive Fuzzing for Multi-threaded Programs
    Guo, Yuqi
    Liang, Zheheng
    Zhu, Shihao
    Wang, Jinqiu
    Yang, Zijiang
    Shen, Wuqiang
    Zhang, Jinbo
    Cai, Yan
    2023 IEEE 47TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE, COMPSAC, 2023, : 810 - 819
  • [35] Lost in abstraction: Monotonicity in multi-threaded programs
    Kaiser, Alexander
    Kroening, Daniel
    Wahl, Thomas
    INFORMATION AND COMPUTATION, 2017, 252 : 30 - 47
  • [36] A type system for counting logs of multi-threaded nested transactional programs
    Truong, Anh-Hoang
    Van Hung, Dang
    Dang, Duc-Hanh
    Vu, Xuan-Tung
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9581 : 157 - 168
  • [37] Static conflict analysis for multi-threaded object-oriented programs
    Von Praun, Christoph
    Gross, Thomas R.
    ACM SIGPLAN Not., 1600, 5 (115-128):
  • [38] Static conflict analysis for multi-threaded object-oriented programs
    von Praun, C
    Gross, TR
    ACM SIGPLAN NOTICES, 2003, 38 (05) : 115 - 128
  • [39] A Dynamic Logic for deductive verification of multi-threaded programs
    Beckert, Bernhard
    Klebanov, Vladimir
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (03) : 405 - 437
  • [40] MuTT: a Multi-Threaded Tracer for Java']Java Programs
    Liu, Dapeng
    Xu, Shaochun
    PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 949 - +
12345