Istraživači

eNauka > Istraživači > Popović, Miroslav

Popović, Miroslav

Tip

10 Konferencijski rad

Godina

2 2023
2 2022
3 2021
3 2020

Godina - raspon

Godina od:

Godina do:

Filtrirano po:

Mp-kat.: M30/M60

Godina: [2020 TO 2024]

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
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	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	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	Analysis of a software based hardware composer adaptation	Bogosavljev, Dejan; Popovic, Miroslav V ; Bogdanovic, Dejan	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2020	Modernized Courses in Automotive Software Engineering	Kastelan, Ivan ; Pavkovic, Bogdan ; Vranjes, Mario; Popovic, Miroslav	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2020	Vehicle Detection in the Autonomous Vehicle Environment for Potential Collision Warning	Gluhakovic, Mario; Herceg, Marijan; Popovic, Miroslav V ; Kovacevic, Jelena V	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2020	One Solution of DVB Software Demultiplexer Adaptation for Timestamped Transport Stream	Banović, Radenko; Bašičević, Ilija; Popović, Miroslav ; Fimić, Nemanja	Konferencijski rad	Mp kategorija će biti prikazana naknadno.