TSO THERE

被引：0
|
作者：
GOETZ, MA
机构：
来源：
DATAMATION | 1971年 / 17卷 / 13期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：13 / &
相关论文
共 50 条
  • [1] TSO-to-TSO linearizability is undecidable
    Wang, Chao
    Lv, Yi
    Wu, Peng
    [J]. ACTA INFORMATICA, 2018, 55 (08) : 649 - 668
  • [2] TSO-to-TSO Linearizability Is Undecidable
    Wang, Chao
    Lv, Yi
    Wu, Peng
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 309 - 325
  • [3] TSO-to-TSO linearizability is undecidable
    Chao Wang
    Yi Lv
    Peng Wu
    [J]. Acta Informatica, 2018, 55 : 649 - 668
  • [4] TSO-CC: Consistency directed cache coherence for TSO
    Elver, Marco
    Nagarajan, Vijay
    [J]. 2014 20TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE COMPUTER ARCHITECTURE (HPCA-20), 2014, : 165 - 176
  • [5] NARRATIVES IN 'TSO CHUAN'
    EGAN, RC
    [J]. HARVARD JOURNAL OF ASIATIC STUDIES, 1977, 37 (02) : 323 - 352
  • [6] REXX ON TSO/E
    HOERNES, GE
    [J]. IBM SYSTEMS JOURNAL, 1989, 28 (02) : 274 - 293
  • [7] DISCUSSION OF TSO,WK
    POPELAR, CH
    [J]. JOURNAL OF APPLIED MECHANICS, 1968, 35 (04): : 841 - &
  • [8] 'ROSE ANN TSO'
    TAPAHONSO, L
    [J]. BELOIT POETRY JOURNAL, 1980, 30 (02): : 30 - 30
  • [9] Lazy TSO Reachability
    Bouajjani, Ahmed
    Calin, Georgel
    Derevenetc, Egor
    Meyer, Roland
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015, 2015, 9033 : 267 - 282
  • [10] TSO_ATOMICITY: Efficient Hardware Primitive for TSO-Preserving Region Optimizations
    Wang, Cheng
    Wu, Youfeng
    [J]. ACM SIGPLAN NOTICES, 2013, 48 (04) : 509 - 519
12345