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 条
  • [31] Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions
    S. Park
    D. L. Dill
    Theory of Computing Systems, 1998, 31 : 355 - 376
  • [32] Checking cache-coherence protocols with TLA+
    Joshi, R
    Lamport, L
    Matthews, J
    Tasiran, S
    Tuttle, M
    Yu, Y
    FORMAL METHODS IN SYSTEM DESIGN, 2003, 22 (02) : 125 - 131
  • [33] Verification of cache coherence protocols by aggregation of distributed transactions
    Park, S.
    Dill, D.L.
    Theory of Computing Systems, 31 (04): : 355 - 376
  • [34] Checking Cache-Coherence Protocols with TLA+
    Rajeev Joshi
    Leslie Lamport
    John Matthews
    Serdar Tasiran
    Mark Tuttle
    Yuan Yu
    Formal Methods in System Design, 2003, 22 : 125 - 131
  • [35] A framework for customizing coherence protocols of distributed file caches
    Uehara, K
    Inohara, S
    Miyazawa, H
    Yamamoto, K
    Masuda, T
    PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 1996, : 83 - 90
  • [36] Impact of cache coherence protocols on the processing of network traffic
    Kumar, Amit
    Huggahalli, Ram
    MICRO-40: PROCEEDINGS OF THE 40TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, 2007, : 161 - +
  • [37] Interconnect-aware coherence Protocols for chip multiprocessors
    Cheng, Liqun
    Muralimanohar, Naveen
    Ramani, Karthik
    Balasubramonian, Rajeev
    Carter, John B.
    33RD INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHTIECTURE, PROCEEDINGS, 2006, : 339 - 350
  • [38] HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols
    Oswald, Nicolai
    Nagarajan, Vijay
    Sorin, Daniel J.
    Gavrielatos, Vasilis
    Olausson, Theo
    Carr, Reece
    2022 IEEE INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE COMPUTER ARCHITECTURE (HPCA 2022), 2022, : 756 - 771
  • [39] Teapot: Language support for writing memory coherence protocols
    Chandra, S
    Richards, B
    Larus, JR
    ACM SIGPLAN NOTICES, 1996, 31 (05) : 237 - 248
  • [40] A simple method for parameterized verification of cache coherence protocols
    Chou, CT
    Mannava, PK
    Park, S
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2004, 3312 : 382 - 398
12345