Researchers
Popović, Miroslav
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2023 | Flexible Scheduling of Transactional Memory on Trees | Busch, Costas; Chlebus, Bogdan; Herlihy, Maurice; Popović, Miroslav   ; Poudel, Pavan; Sharma, Gokarna | Article | 23M23 |
| 2023 | A Learning Model for Lifelong Education of Computer Engineers | Kaštelan, Ivan ; Popović, Miroslav ; Bjelica, Milan | Article | 22M22 |
| 2023 | Complete Formal Verification of the PSTM Transaction Scheduler | Popovic, Miroslav V ; Popovic, Marko M; Kordic, Branislav A; Zhu, Huibiao | Article | Mp. category will be shown later |
| 2022 | Jedno rešenje lanca-blokova | Kuprešanin, Tamara; Popović, Miroslav | Article | 52M52 |
| 2021 | Fast Scheduling in Distributed Transactional Memory | Busch, Costas; Herlihy, Maurice; Popović, Miroslav ; Sharma, Gokarna | Article | 23M23 |
| 2021 | An Evolutionary Computational System Architecture Based on a Software Transactional Memory | Kordic, Branislav; Popovic, Marko ; Popovic, Miroslav ; Goldstein, Moshe; Amitay, Moshe; Da, Yan David; Fredj, Erick | Article | 23M23 |
| 2021 | Dynamic scheduling in distributed transactional memory | Busch, Costas; Herlihy, Maurice; Popovic, Miroslav V ; Sharma, Gokarna | Article | 22M22 |
| 2020 | Formal analysis and verification of the PSTM architecture using CSP | Liu, Ailun; Zhu, Huibiao; Popović, Miroslav ; Xiang, Shuangqing; Zhang, Lei | Article | 21M21 |
| 2020 | Fault Tolerant Distributed Python Software Transactional Memory | Popovic, Marko M; Basicevic, Ilija V ; Djukic, Miodrag M ; Popovic, Miroslav V | Article | 23M23 |