A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments

被引：0
|
作者：
Dept. of Comp. and Info. Sciences, Kansas State University, Manhattan, KS 66506, United States [1 ]
机构：
来源：
Inf. Process. Lett. | / 6卷 / 285-290期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] A heuristic for scheduling parallel programs with synchronous communication model in the network computing environments
    Zhao, MY
    Zhang, TW
    NETWORK AND PARALLEL COMPUTING, PROCEEDINGS, 2005, 3779 : 270 - 273
  • [32] A Thin Self-Stabilizing Asynchronous Unison Algorithm with Applications to Fault Tolerant Biological Networks
    Emek, Yuval
    Keren, Eyal
    PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), 2021, : 93 - 102
  • [33] Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study
    Zhu, Ling
    Kulkarni, Sandeep S.
    2015 IEEE 35th International Conference on Distributed Computing Systems Workshops (ICDCSW), 2015, : 29 - 34
  • [34] Model Checking A Self-Stabilizing Synchronization Protocol For Arbitrary Digraphs
    Malekpour, Mahyar R.
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [35] Byzantine self-stabilizing pulse in a bounded-delay model
    Dolev, Danny
    Hoch, Ezra N.
    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4838 : 234 - +
  • [36] MODEL CHECKING A SELF-STABILIZING SYNCHRONIZATION PROTOCOL FOR ARBITRARY DIGRAPHS
    Malekpour, Mahyar R.
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [37] Self-stabilizing depth-first token circulation in asynchronous message-passing systems
    Petit, F
    Villain, V
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (05): : 391 - 415
  • [38] Brief Announcement: Self-Stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems
    Georgiou, Chryssis
    Lundstrom, Oskar
    Schiller, Elad M.
    PROCEEDINGS OF THE 2019 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '19), 2019, : 209 - 211
  • [39] Self-Stabilizing Economic Nonlinear Model Predictive Control for Membrane Reactors
    Dinh, San
    Biegler, Lorenz T.
    IFAC PAPERSONLINE, 2024, 58 (14): : 525 - 530
  • [40] Cached Sensornet Transformation of Non-silent Self-stabilizing Algorithms with Unreliable Links
    Kakugawa, Hnotsugu
    Yamauchi, Yukiko
    Kamei, Sayaka
    Masuzawa, Toshimitsu
    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5873 : 428 - 442
12345