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 条
  • [41] Multiple coherence and coordinated checkpointing protocols for DSM systems
    Boukerche, A
    Melo, ACMA
    Koch, JG
    Galdino, CR
    2005 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOPS, PROCEEDINGS, 2005, : 531 - 538
  • [42] A Systematic Methodology to Develop Resilient Cache Coherence Protocols
    Aisopos, Konstantinos
    Peh, Li-Shiuan
    PROCEEDINGS OF THE 2011 44TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO 44), 2011, : 47 - 58
  • [43] Deriving efficient cache coherence protocols through refinement
    Nalumasu, R
    Gopalakrishnan, G
    FORMAL METHODS IN SYSTEM DESIGN, 2002, 20 (01) : 107 - 125
  • [44] Importance of Coherence Protocols with Network Applications on Multicore Processors
    Yi, Kyueun
    Ro, Won W.
    Gaudiot, Jean-Luc
    IEEE TRANSACTIONS ON COMPUTERS, 2013, 62 (01) : 6 - 15
  • [45] A simple method for parameterized verification of cache coherence Protocols
    Chou, CT
    Mannava, PK
    Park, S
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 382 - 398
  • [46] Model checking data consistency for cache coherence protocols
    Pan, Hong
    Lin, Hui-Min
    Lv, Yi
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006, 21 (05) : 765 - 775
  • [47] Boosting coherence-based protocols with correlated catalysts
    Char, Priyabrata
    Sen, Ajoy
    Bhar, Amit
    Chattopadhyay, Indrani
    Sarkar, Debasis
    PHYSICAL REVIEW A, 2024, 109 (05)
  • [48] Deriving Efficient Cache Coherence Protocols Through Refinement
    Ratan Nalumasu
    Ganesh Gopalakrishnan
    Formal Methods in System Design, 2002, 20 : 107 - 125
  • [49] PVCOHERENCE: DESIGNING FLAT COHERENCE PROTOCOLS FOR SCALABLE VERIFICATION
    Zhang, Meng
    Bingham, Jesse D.
    Erickson, John
    Sorin, Daniel J.
    IEEE MICRO, 2015, 35 (03) : 84 - 91
  • [50] Cache Coherence Protocols in Shared-Memory Multiprocessors
    Lian, Xiuzhen
    Ning, Xiaoxi
    Xie, Mingren
    Yu, Farong
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING, 2015, 17 : 286 - 289
12345