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 条
  • [11] Information Declassification for Multi-Threaded Programs
    Zhu, Hao
    Zhuang, Yi
    Chen, Xiang
    APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
  • [12] A Basis for Verifying Multi-threaded Programs
    Rustan, K.
    Leino, M.
    Mueller, Peter
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
  • [13] Information leakage of multi-threaded programs
    Noroozi, Ali A.
    Karimpour, Jaber
    Isazadeh, Ayaz
    COMPUTERS & ELECTRICAL ENGINEERING, 2019, 78 : 400 - 419
  • [14] Probabilistic noninterference for multi-threaded programs
    Sabelfeld, A
    Sands, D
    13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
  • [15] Causal Termination of Multi-threaded Programs
    Kupriyanov, Andrey
    Finkbeiner, Bernd
    COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830
  • [16] Regression Verification for Multi-threaded Programs
    Chaki, Sagar
    Gurfinkel, Arie
    Strichman, Ofer
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135
  • [17] Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs
    Noroozi, Ali A.
    Karimpour, Jaber
    Isazadeh, Ayaz
    MATHEMATICAL AND COMPUTATIONAL APPLICATIONS, 2019, 24 (02)
  • [18] Efficient Predictive Analysis for Detecting Nondeterminism in Multi-Threaded Programs
    Sinha, Arnab
    Malik, Sharad
    Gupta, Aarti
    PROCEEDINGS OF THE 12TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2012), 2012, : 6 - 15
  • [19] Synergistic Timing Speculation for Multi-threaded Programs
    Yasin, Atif
    Zhang, Jeff
    Chen, Hu
    Garg, Siddharth
    Roy, Sanghamitra
    Chakraborty, Koushik
    2016 ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2016,
  • [20] On testing multi-threaded Java']Java programs
    Gong, Xufang
    Wang, Yanchen
    Zhou, Ying
    Li, Bixin
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 1, PROCEEDINGS, 2007, : 702 - +
12345