Резултати 1-20 од 208
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2025Federated Isolation Forest for Efficient Anomaly Detection on Edge IoT SystemsVasiljevic, Pavle  ; Matic, Milica; Popovic, Miroslav  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2025Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PATDjukic, Miodrag M  ; Prokic, Ivan  ; Popovic, Miroslav  ; Ghilezan, Silvia  ; Popovic, Marko; Prokic, Simona  Научни чланак
22M22 - Међународни часопис категорије M22
2024Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSPProkić, Ivan  ; Ghilezan, Silvia  ; Kašterović, Simona  ; Popovic, Miroslav  ; Popovic, Marko; Kaštelan, Ivan  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2024A Federated Learning Algorithms Development ParadigmPopovic, Miroslav  ; Popovic, Marko; Kastelan, Ivan  ; Djukic, Miodrag  ; Basicevic, Ilija  Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2024PTB-FLA Development Paradigm Adaptation for ChatGPTPopovic, Miroslav  ; Popovic, Marko; Kastelan, Ivan  ; Djukic, Miodrag M.  ; Basicevic, Ilija  Научни чланак
22M22 - Међународни часопис категорије M22
2023A Learning Model for Lifelong Education of Computer EngineersKaštelan, Ivan  ; Popović, Miroslav  ; Bjelica, Milan  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2023Complete Formal Verification of the PSTM Transaction SchedulerPopovic, Miroslav V  ; Popovic, Marko M; Kordic, Branislav A; Zhu, HuibiaoНаучни чланак
Мп категорија ће бити приказана накнадно.
2023Flexible Scheduling of Transactional Memory on TreesBusch, Costas; Chlebus, Bogdan; Herlihy, Maurice; Popović, Miroslav  ; Poudel, Pavan; Sharma, GokarnaНаучни чланак
22M22 - Међународни часопис категорије M22
2023Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSPProkić, Ivan  ; Ghilezan, Silvia  ; Kašterović, Simona  ; Popović, Miroslav  ; Popović, Marko; Kaštelan, Ivan  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2023Guest Editorial - Engineering of Computer Based SystemsDjukić, Miodrag  ; Popović, Miroslav  Уређивачки рад
Мп категорија ће бити приказана накнадно.
2023A Simple Python Testbed for Federated Learning AlgorithmsPopović, Miroslav  ; Popović, Marko; Kaštelan, Ivan  ; Đukić, Miodrag  ; Ghilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2022Jedno rešenje lanca-blokovaKuprešanin, Tamara; Popović, Miroslav  Научни чланак
52M52 - Национални часопис категорије M52
2022Formal Analysis and Verification of DPSTM v2 Architecture Using CSPLi, Peimu; Yin, Jiaqi; Zhu, Huibiao; Xiao, Lili; Popovic, Miroslav  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2022Distributed Python Software Transactional Memory Supporting Publish-Subscribe PatternPopović, Marko; Kordić, Branislav; Bašičević, Ilija  ; Popović, Miroslav  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2022Operativni sistemi u realnom vremenuPopović, Miroslav  ; Marinković, Vladimir  ; Kovačević, Vladimir  Уџбеник
Мп категорија ће бити приказана накнадно.
2021Fast Scheduling in Distributed Transactional MemoryBusch, Costas; Herlihy, Maurice; Popović, Miroslav  ; Sharma, GokarnaНаучни чланак
22M22 - Међународни часопис категорије M22
2021Paralelno programiranjePopović, Miroslav  ; Kovačević, Vladimir  Уџбеник
Мп категорија ће бити приказана накнадно.
2021Analysis of virtio GPU in a containerized environmentBogdanovic, Dejan; Popovic, Miroslav  ; Usorac, SrdjanКонференцијски рад
Мп категорија ће бити приказана накнадно.
2021Formal Verification of Distributed Master-Slave Finite State MachinePopović, Marko; Marinković, Vladimir  ; Đukić, Miodrag  ; Popović, Miroslav  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2021Osnove računarskih mreža 1Bašičević, Ilija  ; Popović, Miroslav  ; Kovačević, Vladimir  Уџбеник
Мп категорија ће бити приказана накнадно.