DETERMINISM IN PARALLEL SYSTEMS

被引:0
|
作者
RAJLICH, V
机构
关键词
D O I
10.1016/0304-3975(83)90087-7
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:225 / 231
页数:7
相关论文
共 50 条
  • [1] Dynamic Enforcement of Determinism in a Parallel Scripting Language
    Lu, Li
    Ji, Weixing
    Scott, Michael L.
    [J]. ACM SIGPLAN NOTICES, 2014, 49 (06) : 519 - 529
  • [2] Automatic Verification of Determinism for Structured Parallel Programs
    Vechev, Martin
    Yahav, Eran
    Raman, Raghavan
    Sarkar, Vivek
    [J]. STATIC ANALYSIS, 2010, 6337 : 455 - 471
  • [3] On determinism in modal transition systems
    Benes, N.
    Kretinsky, J.
    Larsen, K. G.
    Srba, J.
    [J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (41) : 4026 - 4043
  • [4] On Reversibility and Determinism in P Systems
    Alhazov, Artiom
    Morita, Kenichi
    [J]. MEMBRANE COMPUTING, 2010, 5957 : 158 - 168
  • [5] Determinism and locality in quantum systems
    Dickson, WM
    [J]. SYNTHESE, 1996, 107 (01) : 55 - 82
  • [6] The Case for Determinism in Database Systems
    Thomson, Alexander
    Abadi, Daniel J.
    [J]. PROCEEDINGS OF THE VLDB ENDOWMENT, 2010, 3 (01): : 70 - 80
  • [7] Sequential and maximally parallel multiset rewriting: reversibility and determinism
    Artiom Alhazov
    Rudolf Freund
    Kenichi Morita
    [J]. Natural Computing, 2012, 11 : 95 - 106
  • [8] CORRECTNESS AND DETERMINISM OF PARALLEL MONTE-CARLO PROCESSES
    VONHANXLEDEN, R
    SCOTT, LR
    [J]. PARALLEL COMPUTING, 1992, 18 (02) : 121 - 132
  • [9] Sequential and maximally parallel multiset rewriting: reversibility and determinism
    Alhazov, Artiom
    Freund, Rudolf
    Morita, Kenichi
    [J]. NATURAL COMPUTING, 2012, 11 (01) : 95 - 106
  • [10] Phenomenological determinism in Hamiltonian dynamical systems
    Samain, A.
    Garbet, X.
    [J]. PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2021, 572