Istraživači
Popović, Miroslav
Rezultati 1-20 od 209
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2025 | Federated Isolation Forest for Efficient Anomaly Detection on Edge IoT Systems | Vasiljevic, Pavle   ; Matic, Milica; Popovic, Miroslav | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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 | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2025 | A Way to Identify Potential Functions for Vectorization for RISC-V | Stojković, Dušan ; Popović, Miroslav | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2024 | PTB-FLA Development Paradigm Adaptation for ChatGPT | Popovic, Miroslav ; Popovic, Marko; Kastelan, Ivan ; Djukic, Miodrag M. ; Basicevic, Ilija | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 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. |
| 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 | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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 | A Learning Model for Lifelong Education of Computer Engineers | Kaštelan, Ivan ; Popović, Miroslav ; Bjelica, Milan | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2023 | Flexible Scheduling of Transactional Memory on Trees | Busch, Costas; Chlebus, Bogdan; Herlihy, Maurice; Popović, Miroslav ; Poudel, Pavan; Sharma, Gokarna | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2023 | Guest Editorial - Engineering of Computer Based Systems | Djukić, Miodrag ; Popović, Miroslav | Uređivački rad | 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 | 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 | 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. |
| 2022 | Jedno rešenje lanca-blokova | Kuprešanin, Tamara; Popović, Miroslav | Naučni članak | 52M52 - Nacionalni časopis kategorije M52 |
| 2021 | Analysis of a software based hardware composer adaptation | Bogosavljev, Dejan; Popovic, Miroslav V ; Bogdanovic, Dejan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Osnove distribuiranih sistema u realnom vremenu | Popović, Miroslav | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2021 | Dynamic scheduling in distributed transactional memory | Busch, Costas; Herlihy, Maurice; Popovic, Miroslav V ; Sharma, Gokarna | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 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 - Međunarodni časopis kategorije M23 |