Zobrazeno 1 - 10
of 91
pro vyhledávání: '"AGARWAL, RAJ"'
We present $\textit{Probabilistic Total Store Ordering (PTSO)}$ -- a probabilistic extension of the classical TSO semantics. For a given (finite-state) program, the operational semantics of PTSO induces an infinite-state Markov chain. We resolve the
Externí odkaz:
http://arxiv.org/abs/2201.10213
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:
In Applied Acoustics August 2023 211
Publikováno v:
Rapid Prototyping Journal, 2022, Vol. 28, Issue 9, pp. 1690-1705.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/RPJ-01-2022-0006
Publikováno v:
In Applied Acoustics January 2023 202
Publikováno v:
In Medical Engineering and Physics December 2022 110
Publikováno v:
In Annals of 3D Printed Medicine March 2022 5
Autor:
Shankar, Vijay, Agarwal, Raj Kumar, Chaudhari, Prabhat, Agarwal, Archana, Tyagi, Vidushi, Sharma, Neeraj
Publikováno v:
Journal of Cardiovascular Disease Research (Journal of Cardiovascular Disease Research); 2024, Vol. 15 Issue 9, p1560-1573, 14p
Autor:
Shankar, Vijay, Agarwal, Raj Kumar, Chaudhari, Prabhat, Agarwal, Archana, Tyagi, Vidushi, Sharma, Neeraj
Publikováno v:
Journal of Cardiovascular Disease Research (Journal of Cardiovascular Disease Research); 2024, Vol. 15 Issue 9, p1491-1502, 12p