Popović, Miroslav

Godina

Mp-kat.

110 M30/M60

Godina - raspon

Godina od:

Godina do:

Filtrirano po:

Tip: Konferencijski rad

Rezultati 1-20 od 110

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.
2019	Modernizing Laboratories for New Courses in Automotive Software Engineering	Kaštelan, Ivan ; Pavković, Bogdan ; Vranješ, Mario; Popović, Mario ; Velikić, Gordana	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2019	Secure Firmware Update in Embedded Systems	Keleman, Levon; Matić, Danijel; Popović, Miroslav ; Kaštelan, Ivan	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2019	Formal verification of python software transactional memory serializability based on the push/pull semantic model	Popovic, Miroslav ; Popovic, Marko; Gilezan, Silvia ; Kordić, Branislav	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2019	One method for hybrid playback and recording of digital TV channels on embedded devices	Vranic, Nikola; Popović, Miroslav	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2019	Agile Method and ROS in Automotive Software development processes, practice, and teaching	Momčilo Krunić; Vlado Krunić; Milan Stankić; POPOVIĆ, MIROSLAV V.	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2019	Modernizacija laboratorija za inovativne tehnologije	Kaštelan, Ivan A. ; Bogdan Pavković ; Miroslav Popović ; Mario Vranješ	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2019	Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP	Xu, Chao; Wu, Xi; Zhu, Huibiao; Popovic, Miroslav V	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2019	A Solution of Python Distributed STM Based on Data Replication	Popović, Marko ; Popović, Miroslav ; Kordić, Branislav ; Bašičević, Ilija	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2019	A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory	Kordić, Branislav ; Popovic, Marko; Popovic, Miroslav ; Goldstein, Moshe; Amitay, Moshe; Dayan, David	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2018	A Solution of Concurrent List on PSTM	Popović Marko ; KORDIĆ, BRANISLAV A. ; Popović Miroslav ; Bašičević Ilija	Konferencijski rad	Mp kategorija će biti prikazana naknadno.

Rezultati 1-20 od 110