首页> Distributed computing> Synthesizing optimal bias in randomized self-stabilization.

Synthesizing optimal bias in randomized self-stabilization.

导出 LinkOut

翻译打印收藏纠错

第一作者： Matthias,Volk

第一单位： Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany.;Present Address: Formal Methods and Tools, University of Twente, Enschede, The Netherlands.

作者： Matthias,Volk ^[1] ; Borzoo,Bonakdarpour ^[2] ; Joost-Pieter,Katoen ^[3] ; Saba,Aflaki ^[4]

作者单位： Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany.;Present Address: Formal Methods and Tools, University of Twente, Enschede, The Netherlands. ^[1] Department of Computer Science, Michigan State University, East Lansing, USA. ^[2] Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany. ^[3] Index Exchange, Toronto, Canada. ^[4]

关键词 Parameter synthesis Performance Randomized distributed systems Self-stabilization

DOI 10.1007/s00446-021-00408-4

PMID 35250133

发布时间 2022-03-07

翻译满意度评价：

准确一般字义偏差语意偏离译文作用小提交

浏览0

Distributed computing

2022年35卷1期

37-57页

相似文献

中文期刊
外文期刊
学位论文
会议论文

浏览0

点击下载本期目录封面

Distributed computing

2022年35卷1期

37-57页

检索历史清除

Synthesizing optimal bias in randomized self-stabilization.

Distributed computing

相似文献

同项目论文

Distributed computing

相关期刊

参考文献：
指定格式：	NoteExpress EndNote RefWorks NoteFirst

检索历史 清除

Synthesizing optimal bias in randomized self-stabilization.

Distributed computing

相似文献

同项目论文

Distributed computing

相关期刊

检索历史清除