MSO Logic for Unambiguous Shared-Memory Systems

被引：0
|
作者：
Morin, Remi [1 ]
机构：
[1] Aix Marseille Univ, CNRS, UMR 6166, Lab Informat Fondamentale Marseille, F-13288 Marseille 9, France
来源：
DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS | 2008年 / 5257卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Shared-memory systems appear as a generalization of asynchronous cellular automata. In this paper we relate the partial-order semantics of shared-memory systems to Mazurkiewicz trace languages by means of a new refinement construction. We show that a set of labeled partial orders is recognized by some unambiguous shared-memory system if and only if it is definable in monadic second-order logic and media-bounded.
引用
收藏
页码：516 / 528
页数：13
相关论文
共 50 条
  • [41] Performance of hierarchical processor scheduling in shared-memory multiprocessor systems
    Dandamudi, SP
    Ayachi, S
    IEEE TRANSACTIONS ON COMPUTERS, 1999, 48 (11) : 1202 - 1213
  • [42] SOLUTION OF SPARSE POSITIVE DEFINITE SYSTEMS ON A SHARED-MEMORY MULTIPROCESSOR
    GEORGE, A
    HEATH, MT
    LIU, J
    NG, E
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1986, 15 (04) : 309 - 325
  • [43] Adaptively scheduling parallel loops in distributed shared-memory systems
    Yan, Y
    Jin, CM
    Zhang, XD
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1997, 8 (01) : 70 - 81
  • [44] Predicting reconfigurable interconnect performance in distributed shared-memory systems
    Heirman, W.
    Dambre, J.
    Artundo, I.
    Debaes, C.
    Thienpont, H.
    Stroobandt, D.
    Van Campenhout, J.
    INTEGRATION-THE VLSI JOURNAL, 2007, 40 (04) : 382 - 393
  • [45] FINE-GRAIN SCHEDULER FOR SHARED-MEMORY MULTIPROCESSOR SYSTEMS
    SHIEH, JJ
    LEE, YC
    CHEN, HR
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1995, 142 (02): : 98 - 106
  • [46] Scalable Parallel Fault Simulation for Shared-Memory Multiprocessor Systems
    Hadjitheophanous, Stavros
    Neophytou, Stelios N.
    Michael, Maria K.
    2016 IEEE 34TH VLSI TEST SYMPOSIUM (VTS), 2016,
  • [47] A HIERARCHICAL TASK QUEUE ORGANIZATION FOR SHARED-MEMORY MULTIPROCESSOR SYSTEMS
    DANDAMUDI, SP
    CHENG, PSP
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1995, 6 (01) : 1 - 16
  • [48] Analysis of failure recovery schemes for distributed shared-memory systems
    Kim, JH
    Vaidya, NH
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1999, 146 (03): : 125 - 130
  • [49] LIBMF: A Library for Parallel Matrix Factorization in Shared-memory Systems
    Chin, Wei-Sheng
    Yuan, Bo-Wen
    Yang, Meng-Yuan
    Zhuang, Yong
    Juan, Yu-Chin
    Lin, Chih-Jen
    JOURNAL OF MACHINE LEARNING RESEARCH, 2016, 17
  • [50] ENSURING CORRECT ROLLBACK RECOVERY IN DISTRIBUTED SHARED-MEMORY SYSTEMS
    JANSSENS, B
    FUCHS, WK
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1995, 29 (02) : 211 - 218
12345