Резултати 1-20 од 210
ГодинаНасловАутор(и)Тип резултатаМп-кат.
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  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2024PTB-FLA Development Paradigm Adaptation for ChatGPTPopovic, Miroslav  ; Popovic, Marko; Kastelan, Ivan  ; Djukic, Miodrag M.  ; Basicevic, Ilija  Научни чланак
22M22 - Међународни часопис категорије M22
2024A Federated Learning Algorithms Development ParadigmPopovic, Miroslav  ; Popovic, Marko; Kastelan, Ivan  ; Djukic, Miodrag  ; Basicevic, Ilija  Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2023A Learning Model for Lifelong Education of Computer EngineersKaštelan, Ivan  ; Popović, Miroslav  ; Bjelica, Milan  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2023Flexible Scheduling of Transactional Memory on TreesBusch, Costas; Chlebus, Bogdan; Herlihy, Maurice; Popović, Miroslav  ; Poudel, Pavan; Sharma, GokarnaНаучни чланак
22M22 - Међународни часопис категорије M22
2023Complete Formal Verification of the PSTM Transaction SchedulerPopovic, Miroslav V  ; Popovic, Marko M; Kordic, Branislav A; Zhu, HuibiaoНаучни чланак
Мп категорија ће бити приказана накнадно.
2023Guest Editorial - Engineering of Computer Based SystemsDjukić, Miodrag  ; Popović, Miroslav  Уређивачки рад
Мп категорија ће бити приказана накнадно.
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  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2023A Simple Python Testbed for Federated Learning AlgorithmsPopović, Miroslav  ; Popović, Marko; Kaštelan, Ivan  ; Đukić, Miodrag  ; Ghilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2022Operativni sistemi u realnom vremenuPopović, Miroslav  ; Marinković, Vladimir  ; Kovačević, Vladimir  Уџбеник
Мп категорија ће бити приказана накнадно.
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  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2021Fast Scheduling in Distributed Transactional MemoryBusch, Costas; Herlihy, Maurice; Popović, Miroslav  ; Sharma, GokarnaНаучни чланак
22M22 - Међународни часопис категорије M22
2021Paralelno programiranjePopović, Miroslav  ; Kovačević, Vladimir  Уџбеник
Мп категорија ће бити приказана накнадно.
2021Osnove računarskih mreža 1Bašičević, Ilija  ; Popović, Miroslav  ; Kovačević, Vladimir  Уџбеник
Мп категорија ће бити приказана накнадно.
2021Dynamic scheduling in distributed transactional memoryBusch, Costas; Herlihy, Maurice; Popovic, Miroslav V  ; Sharma, GokarnaArticle
22M22
2021Osnove distribuiranih sistema u realnom vremenuPopović, Miroslav  Text book
Mp. category will be shown later
2021Analysis of a software based hardware composer adaptationBogosavljev, Dejan; Popovic, Miroslav V  ; Bogdanovic, DejanConference Paper
Mp. category will be shown later