Institutional Repository
| A tighter bound for the self-stabilization time in Herman's algorithm | |
| Feng, Yuan (1); Zhang, Lijun (2); Zhang, L.(zhanglj@ios.ac.cn) | |
| 2013 | |
| Source | Information Processing Letters
![]() |
| ISSN | 200190 |
| Volume | 113Issue:13Pages:486-488 |
| English Abstract | We study the expected self-stabilization time of Herman's algorithm. For N processors the lower bound is 427N2 (0.148N2), and an upper bound of 0.64N2 is presented in Kiefer et al. (2011) [4]. In this paper we give a tighter upper bound 0.521N2. © 2013 Published by Elsevier B.V.; We study the expected self-stabilization time of Herman's algorithm. For N processors the lower bound is 427N2 (0.148N2), and an upper bound of 0.64N2 is presented in Kiefer et al. (2011) [4]. In this paper we give a tighter upper bound 0.521N2. © 2013 Published by Elsevier B.V. |
| Indexed Type | SCI ; EI |
| Keyword | Formal Methods Self-stabilization Algorithm Herman's Algorithm Markov Chains |
| Department | (1) University of Technology Sydney, Australia University of Technology, Sydney, Australia; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China; (3) Technical University of Denmark, DTU Compute, Denmark |
| Language | 英语 |
| WOS ID | WOS:000319493400006 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16923 |
| Collection | 中国科学院软件研究所 |
| Corresponding Author | Zhang, L.(zhanglj@ios.ac.cn) |
| Recommended Citation GB/T 7714 | Feng, Yuan ,Zhang, Lijun ,Zhang, L.. A tighter bound for the self-stabilization time in Herman's algorithm[J]. Information Processing Letters,2013,113(13):486-488. |
| APA | Feng, Yuan ,Zhang, Lijun ,&Zhang, L..(2013).A tighter bound for the self-stabilization time in Herman's algorithm.Information Processing Letters,113(13),486-488. |
| MLA | Feng, Yuan ,et al."A tighter bound for the self-stabilization time in Herman's algorithm".Information Processing Letters 113.13(2013):486-488. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment