ON THE COHERENCE PROPERTY OF PROTOCOLS

被引：0
|
作者：
KARPOV, JG
机构：
来源：
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1987年 / 05期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：38 / 40
页数：3
相关论文
共 50 条
  • [21] Atomic Coherence: Leveraging Nanophotonics to Build Race-Free Cache Coherence Protocols
    Vantrease, Dana
    Lipasti, Mikko H.
    Binkert, Nathan
    2011 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE COMPUTER ARCHITECTURE (HPCA), 2011, : 132 - 143
  • [22] A formal framework for verifying IKA property of protocols
    Joy, Shyam P.
    Chandran, Priya
    JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES, 2019, 31 (03) : 318 - 326
  • [23] Model Checking TileLink Cache Coherence Protocols By Murphi
    Li, Zimin
    Li, Yongjian
    Wang, Kaifan
    Ma, Kun
    Yu, Shizhen
    2023 IEEE 41ST INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, ICCD, 2023, : 30 - 37
  • [24] A Novel Approach to Parameterized Verification of Cache Coherence Protocols
    Li, Yongjian
    Duan, Kaiqiang
    Lv, Yi
    Pang, Jun
    Cai, Shaowei
    PROCEEDINGS OF THE 34TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2016, : 560 - 567
  • [25] Deriving efficient cache coherence protocols through refinement
    Nalumasu, R
    Gopalakrishnan, G
    PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 857 - 870
  • [26] Deadlock Verification of Cache Coherence Protocols and Communication Fabrics
    Verbeek, Freek
    Yaghini, Pooria M.
    Eghbal, Ashkan
    Bagherzadeh, Nader
    IEEE TRANSACTIONS ON COMPUTERS, 2017, 66 (02) : 272 - 284
  • [27] Model Checking Data Consistency for Cache Coherence Protocols
    Hong Pan
    Hui-Min Lin
    Yi Lv
    Journal of Computer Science and Technology, 2006, 21 : 765 - 775
  • [28] Verification of cache coherence protocols by aggregation of distributed transactions
    Park, S
    Dill, DL
    THEORY OF COMPUTING SYSTEMS, 1998, 31 (04) : 355 - 376
  • [29] PVCoherence: Designing Flat Coherence Protocols for Scalable Verification
    Zhang, Meng
    Bingham, Jesse D.
    Erickson, John
    Sorin, Daniel J.
    2014 20TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE COMPUTER ARCHITECTURE (HPCA-20), 2014, : 392 - 403
  • [30] Simulation based Performance Study of Cache Coherence Protocols
    Mallya, Neethu Bal
    Patil, Geeta
    Raveendran, Biju
    2015 IEEE INTERNATIONAL SYMPOSIUM ON NANOELECTRONIC AND INFORMATION SYSTEMS, 2015, : 125 - 130
12345