Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Self-stabilizing systems"'
Publikováno v:
IEEE Access, Vol 10, Pp 133749-133765 (2022)
We invented a divide & conquer approach to conditional stable model checking so as to ease the state space explosion problem. As indicated by its name, the technique concentrates on conditional stable properties expressed as $\varphi _{1} \leadsto \B
Externí odkaz:
https://doaj.org/article/42d741f708784d1bbc8fa998d7be334d
Autor:
Los, Dimitrios, Sauerwald, Thomas
We study the repeated balls-into-bins process introduced by Becchetti, Clementi, Natale, Pasquale and Posta (2019). This process starts with $m$ balls arbitrarily distributed across $n$ bins. At each round $t=1,2,\ldots$, one ball is selected from ea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2adf992486ea1042f7f9a23a7cd6b0ce
http://arxiv.org/abs/2203.12400
http://arxiv.org/abs/2203.12400
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Distributed Computing
Distributed Computing, Springer Verlag, 2019, 32 (1), pp.59-68. ⟨10.1007/s00446-017-0320-4⟩
Distributed Computing, 2019, 32 (1), pp.59-68. ⟨10.1007/s00446-017-0320-4⟩
Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures (SPAA '15)
Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures (SPAA '15), Jun 2015, Portland, United States. pp.332-339, ⟨10.1145/2755573.2755584⟩
SPAA
Distributed Computing, Springer Verlag, 2019, 32 (1), pp.59-68. ⟨10.1007/s00446-017-0320-4⟩
Distributed Computing, 2019, 32 (1), pp.59-68. ⟨10.1007/s00446-017-0320-4⟩
Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures (SPAA '15)
Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures (SPAA '15), Jun 2015, Portland, United States. pp.332-339, ⟨10.1145/2755573.2755584⟩
SPAA
We study the following synchronous process that we call repeated balls-into-bins. The process is started by assigning n balls to n bins in an arbitrary way. Then, in every subsequent round, one ball is chosen according to some fixed strategy (random,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82973e04433da734f5a99374cca53710
https://hal.archives-ouvertes.fr/hal-02948569
https://hal.archives-ouvertes.fr/hal-02948569
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
17th International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2015
Lect. Notes Comput. Sci.
Lect. Notes Comput. Sci.
Virtual synchrony (VS) is an important abstraction that is proven to be extremely useful when implemented over asynchronous, typically large, message-passing distributed systems. Fault tolerant design is critical for the success of such implementatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4485::ed6db88ff665c22eb58ca9dde54ce8cf
http://gnosis.library.ucy.ac.cy/handle/7/53882
http://gnosis.library.ucy.ac.cy/handle/7/53882
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.