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 条
  • [1] VERIFYING THE SEMANTIC CORRECTNESS OF PROTOCOLS USING THE COHERENCE PROPERTY
    KARPOV, YG
    BORSHCHEV, AV
    MESHCHERSKY, AA
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1989, (05): : 41 - 44
  • [2] Delta coherence protocols
    Williams, C
    Reynolds, PF
    de Supinski, BR
    IEEE CONCURRENCY, 2000, 8 (03): : 23 - 29
  • [3] Verifying cache coherence protocols
    McMillan, K
    IEEE SPECTRUM, 1996, 33 (06) : 67 - 67
  • [4] Property verification for authentication protocols
    Indiradevi, K
    Nair, VSS
    Abraham, JA
    ASSET'99: 1999 IEEE SYMPOSIUM ON APPLICATION-SPECIFIC SYSTEMS AND SOFTWARE ENGINEERING & TECHNOLOGY - PROCEEDINGS, 1999, : 82 - 85
  • [5] Experience with a language for writing coherence protocols
    Chandra, S
    Dahlin, M
    Richards, B
    Wang, RY
    Anderson, TE
    Larus, JR
    PROCEEDINGS OF THE CONFERENCE ON DOMAIN-SPECIFIC LANGUAGES, 1997, : 51 - 65
  • [6] Using prediction to accelerate coherence protocols
    Mukherjee, SS
    Hill, MD
    25TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, PROCEEDINGS, 1998, : 179 - 190
  • [7] Verification techniques for cache coherence protocols
    Pong, F
    Dubois, M
    ACM COMPUTING SURVEYS, 1997, 29 (01) : 82 - 126
  • [8] Thread Progress Aware Coherence Adaption for Hybrid Cache Coherence Protocols
    Li, Jianhua
    Shi, Liang
    Li, Qing'an
    Xue, Chun Jason
    Xu, Yinlong
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2014, 25 (10) : 2697 - 2707
  • [9] TEACA: Thread ProgrEss Aware Coherence Adaption for Hybrid Coherence Protocols
    Li, Jianhua
    Shi, Liang
    Li, Qingan
    Xue, Chun Jason
    Xu, Yinlong
    2012 IEEE 10TH SYMPOSIUM ON EMBEDDED SYSTEMS FOR REAL-TIME MULTIMEDIA (ESTIMEDIA), 2012, : 19 - 26
  • [10] Structural Rationality and the Property of Coherence
    Daoust, Marc-Kevin
    PACIFIC PHILOSOPHICAL QUARTERLY, 2023, 104 (01) : 170 - 194
12345