.png){kind=icon}
返回
Dynamic asynchronous iterations
.png){kind=icon}
OA
AI
DOI：10.1016/j.jpdc.2022.03.013.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Many problems can be solved by iteration by multiple participants (processors, servers, routers etc.). Previous mathematical models for such asynchronous iterations assume a single function being iterated by a fixed set of participants. We will call such iterations static since the system's configuration does not change. However in several real-world examples, such as inter-domain routing, both the function being iterated and the set of participants change frequently while the system continues to function. In this paper we extend uresin and Dubois's work on static iterations to develop a model for this class of dynamic or always on asynchronous iterations. We explore what it means for such an iteration to be implemented correctly, and then prove two different conditions on the set of iterated functions that guarantee the full asynchronous iteration satisfies this new definition of correctness. These results have been formalised in Agda and the resulting library is publicly available. (C) 2022 Elsevier Inc. All rights reserved.
Keyword:
Asynchronous computation
Iteration
Fixed points
Formal verification
Agda
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4
论文数:
3.8K
被引数:
4.8K
机构
引用论文
.png){kind=icon}
分享收藏Superconductivity of epitaxial MgB2 thick films and MgB2 nanowires grown by hybrid physical–chemical vapor deposition外延MgB2厚膜和通过混合物理-化学气相沉积法生长的MgB2纳米线的超导电性
PREAI
分享收藏 没有更多内容
没有更多内容