Zobrazeno 1 - 10
of 2 193
pro vyhledávání: '"Causal consistency"'
Autor:
Simmons, Will, Kissinger, Aleks
The $\mathrm{Caus}[-]$ construction takes a base category of ``raw materials'' and builds a category of higher order causal processes, that is a category whose types encode causal (a.k.a. signalling) constraints between collections of systems. Notabl
Externí odkaz:
http://arxiv.org/abs/2403.09297
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.
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.
Despite the progress of foundation models, knowledge-based reasoning remains a persistent challenge due to their limited capacity for knowledge recall and inference. Existing methods primarily focus on encouraging these models to plan and solve probl
Externí odkaz:
http://arxiv.org/abs/2308.11914
Autor:
Zennou, Rachid1,2 (AUTHOR) rachid.zennou@gmail.com, Biswas, Ranadeep2 (AUTHOR), Bouajjani, Ahmed2 (AUTHOR), Enea, Constantin2 (AUTHOR), Erradi, Mohammed1 (AUTHOR)
Publikováno v:
Computing. Oct2022, Vol. 104 Issue 10, p2181-2201. 21p.
Publikováno v:
Journal of Supercomputing. May2023, Vol. 79 Issue 8, p8401-8424. 24p.
To achieve high availability and low latency, distributed data stores often geographically replicate data at multiple sites called replicas. However, this introduces the data consistency problem. Due to the fundamental tradeoffs among consistency, av
Externí odkaz:
http://arxiv.org/abs/2211.03501
Autor:
Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Gupta, Ashutosh, Krishna, Shankaranarayanan, Tuppe, Omkar
We present a framework for efficient stateless model checking (SMC) of concurrent programs under five prominent models of causal consistency, CCv,CM,CC, Read Committed and Read Atomic. Our approach is based on exploring traces under the program order
Externí odkaz:
http://arxiv.org/abs/2211.09020
Autor:
Tian, Junfeng1 (AUTHOR), Pang, Yanan1 (AUTHOR) 18832272621@163.com
Publikováno v:
Journal of Supercomputing. Nov2022, Vol. 78 Issue 16, p17736-17757. 22p.
Publikováno v:
Tongxin xuebao, Vol 44, Pp 164-177 (2023)
In the distributed storage, causal consistency is favored due to the best trade-off between ease of programming and performance.To address the problem of vector-dependent tracking loss of throughput in existing causal consistency results, a distribut
Externí odkaz:
https://doaj.org/article/cfbd602122d841fab9d7d3207fbf17d1