Истраживачи
Popović, Miroslav
Година
- 210 2000 - 2099
Мп-кат.
- 113 M30/M60
- 18 M80
- 18 остало
- 17 M22 - Међународни часопис категорије M22
- 11 M20/M50
- 7 M23 - Међународни часопис категорије M23
- 6 M21 - Водећи међународни часопис категорије M21
- 6 M53 - Национални часопис категорије M53
- 4 M52 - Национални часопис категорије M52
- 3 M51 - Водећи национални часопис категорије M51
- следећи >
Година - распон
Резултати 1-20 од 210
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2025 | Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT | Djukic, Miodrag M   ; Prokic, Ivan ; Popovic, Miroslav ; Ghilezan, Silvia ; Popovic, Marko; Prokic, Simona | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2024 | PTB-FLA Development Paradigm Adaptation for ChatGPT | Popovic, Miroslav ; Popovic, Marko; Kastelan, Ivan ; Djukic, Miodrag M. ; Basicevic, Ilija | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2024 | A Federated Learning Algorithms Development Paradigm | Popovic, Miroslav ; Popovic, Marko; Kastelan, Ivan ; Djukic, Miodrag ; Basicevic, Ilija | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2023 | Flexible Scheduling of Transactional Memory on Trees | Busch, Costas; Chlebus, Bogdan; Herlihy, Maurice; Popović, Miroslav ; Poudel, Pavan; Sharma, Gokarna | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2023 | A Learning Model for Lifelong Education of Computer Engineers | Kaštelan, Ivan ; Popović, Miroslav ; Bjelica, Milan | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2023 | Guest Editorial - Engineering of Computer Based Systems | Djukić, Miodrag ; Popović, Miroslav | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | Complete Formal Verification of the PSTM Transaction Scheduler | Popovic, Miroslav V ; Popovic, Marko M; Kordic, Branislav A; Zhu, Huibiao | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2023 | A Simple Python Testbed for Federated Learning Algorithms | Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan ; Đukić, Miodrag ; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2022 | Jedno rešenje lanca-blokova | Kuprešanin, Tamara; Popović, Miroslav | Научни чланак | 52M52 - Национални часопис категорије M52 |
| 2022 | Distributed Python Software Transactional Memory Supporting Publish-Subscribe Pattern | Popović, Marko; Kordić, Branislav; Bašičević, Ilija ; Popović, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2022 | Operativni sistemi u realnom vremenu | Popović, Miroslav ; Marinković, Vladimir ; Kovačević, Vladimir | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2022 | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP | Li, Peimu; Yin, Jiaqi; Zhu, Huibiao; Xiao, Lili; Popovic, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | Osnove distribuiranih sistema u realnom vremenu | Popović, Miroslav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2021 | Analysis of a software based hardware composer adaptation | Bogosavljev, Dejan; Popovic, Miroslav V ; Bogdanovic, Dejan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | Paralelno programiranje | Popović, Miroslav ; Kovačević, Vladimir | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 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 | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2021 | Formal Verification of Distributed Master-Slave Finite State Machine | Popović, Marko; Marinković, Vladimir ; Đukić, Miodrag ; Popović, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | Analysis of virtio GPU in a containerized environment | Bogdanovic, Dejan; Popovic, Miroslav ; Usorac, Srdjan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |