Zobrazeno 1 - 10
of 5 179
pro vyhledávání: '"LAGC"'
Autor:
Heidler, Niklas
Formal programming language semantics are imperative when trying to verify properties of programs in an automated manner. Using a new approach, Din et al. strengthen the ability of reasoning about concurrent programs by proposing a modular trace sema
Externí odkaz:
http://arxiv.org/abs/2202.08017
Autor:
Din, Crystal Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar Broch, Pun, Violet Ka I, Tarifa, Silvia Lizeth Tapia
Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent programs. We propose a novel modular semantics designed to align smoot
Externí odkaz:
http://arxiv.org/abs/2202.12195
Publikováno v:
Pakistan Journal of Medical Sciences. Nov/Dec2021, Vol. 37 Issue 7, p1890-1895. 6p.
Autor:
Zhang, Jingjing, Simeone, Osvaldo
Gradient-based distributed learning in Parameter Server (PS) computing architectures is subject to random delays due to straggling worker nodes, as well as to possible communication bottlenecks between PS and workers. Solutions have been recently pro
Externí odkaz:
http://arxiv.org/abs/1905.09148
Autor:
Kamburjan, Eduard
We present Behavioral Program Logic (BPL), a dynamic logic for trace properties that incorporates concepts from behavioral types and allows reasoning about non-functional properties within a sequent calculus. BPL uses behavioral modalities [s |- {\ta
Externí odkaz:
http://arxiv.org/abs/1904.13338
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:
China Oncology. Jul2024, Vol. 34 Issue 7, p659-668. 10p.
Autor:
Yu, Zhiyuan, Liu, Haopeng, Li, Rui, Hu, Liai, Xiao, Chun, Gao, Yunhe, Li, Peiyu, Liang, Wenquan, Zhou, Sixin, Zhao, Xudong
Publikováno v:
Cancer Management & Research; Oct2024, Vol. 16, p1475-1489, 15p
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.