Istraživači
Popović, Miroslav
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2024 | Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP | Prokić, Ivan   ; Ghilezan, Silvia ; Kašterović, Simona ; Popovic, Miroslav ; Popovic, Marko; Kaštelan, Ivan | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2024 | A Federated Learning Algorithms Development Paradigm | Popovic, Miroslav ; Popovic, Marko; Kastelan, Ivan ; Djukic, Miodrag ; Basicevic, Ilija | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2023 | Flexible Scheduling of Transactional Memory on Trees | Busch, Costas; Chlebus, Bogdan; Herlihy, Maurice; Popović, Miroslav ; Poudel, Pavan; Sharma, Gokarna | Naučni članak | 23M23 - Rad u međ. časopisu |
| 2023 | A Learning Model for Lifelong Education of Computer Engineers | Kaštelan, Ivan ; Popović, Miroslav ; Bjelica, Milan | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
| 2023 | Complete Formal Verification of the PSTM Transaction Scheduler | Popovic, Miroslav V ; Popovic, Marko M; Kordic, Branislav A; Zhu, Huibiao | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2023 | Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP | Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2023 | Guest Editorial - Engineering of Computer Based Systems | Djukić, Miodrag ; Popović, Miroslav | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 2023 | A Simple Python Testbed for Federated Learning Algorithms | Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan ; Đukić, Miodrag ; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2022 | Jedno rešenje lanca-blokova | Kuprešanin, Tamara; Popović, Miroslav | Naučni članak | 52M52 - Rad u istaknutom nac. časopisu |
| 2022 | Operativni sistemi u realnom vremenu | Popović, Miroslav ; Marinković, Vladimir ; Kovačević, Vladimir | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2022 | Distributed Python Software Transactional Memory Supporting Publish-Subscribe Pattern | Popović, Marko; Kordić, Branislav; Bašičević, Ilija ; Popović, Miroslav | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2022 | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP | Li, Peimu; Yin, Jiaqi; Zhu, Huibiao; Xiao, Lili; Popovic, Miroslav | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Paralelno programiranje | Popović, Miroslav ; Kovačević, Vladimir | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2021 | Osnove računarskih mreža 1 | Bašičević, Ilija ; Popović, Miroslav ; Kovačević, Vladimir | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2021 | Fast Scheduling in Distributed Transactional Memory | Busch, Costas; Herlihy, Maurice; Popović, Miroslav ; Sharma, Gokarna | Naučni članak | 23M23 - Rad u međ. časopisu |
| 2021 | Formal Verification of Distributed Master-Slave Finite State Machine | Popović, Marko; Marinković, Vladimir ; Đukić, Miodrag ; Popović, Miroslav | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Analysis of virtio GPU in a containerized environment | Bogdanovic, Dejan; Popovic, Miroslav ; Usorac, Srdjan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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 | Naučni članak | 23M23 - Rad u međ. časopisu |
| 2021 | Dynamic scheduling in distributed transactional memory | Busch, Costas; Herlihy, Maurice; Popovic, Miroslav V ; Sharma, Gokarna | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
| 2021 | Osnove distribuiranih sistema u realnom vremenu | Popović, Miroslav | Udžbenik | Mp kategorija će biti prikazana naknadno. |