Zobrazeno 1 - 10
of 419
pro vyhledávání: '"Arun Kumar, S."'
Publikováno v:
In Journal of Energy Storage 15 January 2024 76
Autor:
Muthu, Senthilkumar, Gandhi, Mano Balaji, Saravanan, S., Sekar, Sankar, Arun Kumar, S., Ilanchezhiyan, P., Lee, Sejoon, Sridharan, Moorthy Babu
Publikováno v:
In International Journal of Hydrogen Energy 2 January 2024 52 Part A:1405-1414
Autor:
Ashok Kumar, K., Subalakshmi, K., Sekar, Sankar, Sivaprakash, P., Kim, Ikhyun, Arun Kumar, S., Lee, Sejoon, Arumugam, S.
Publikováno v:
In International Journal of Hydrogen Energy 2 January 2024 52 Part A:1384-1392
Autor:
Arun Kumar, S., Shashikumar, S.K., Ambika, M.R., Karthik Kumar, M.B., Nagaiah, N., Khandaker, Mayeen Uddin
Publikováno v:
In Physics Open December 2023 17
Publikováno v:
In Journal of Alloys and Compounds 10 March 2022 896
Publikováno v:
In Materials Today: Proceedings 2022 64 Part 1:459-463
Publikováno v:
In Journal of Environmental Chemical Engineering December 2021 9(6)
We address the problem of efficient verification of multi-threaded programs running over Total Store Order (TSO) memory model. It has been shown that even with finite data domain programs, the complexity of control state reachability under TSO is non
Externí odkaz:
http://arxiv.org/abs/1606.05435
Publikováno v:
In Materials Today: Proceedings 2021 43 Part 2:2327-2330
Publikováno v:
In Materials Today: Proceedings 2021 39 Part 1:414-419