Browsing by Author Popović, Marko
Showing results 2 to 4 of 4
< previous
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Popović, Marko; Popović, Miroslav; Ghilezan, Silvia ; Kordić, Branislav | Formal Verification of Local and Distributed Python Software Transactional Memories | 14-Oct-2019 | Revue roumaine des sciences techniques Série Électrotechnique et Énergétique; 64(4); 423-428 | M23 |
Popović, Miroslav; Popović, Marko; Ghilezan, Silvia ; Kordić, Branislav | Formal verification of python software transactional memory serializability based on the push/pull semantic model | 2-Sep-2019 | ACM International Conference Proceeding Series; 6th Conference on the Engineering of Computer-Based Systems, ECBS 2019; Bucharest; Romania; 2 September 2019 through 3 September 2019 | |
Popović, Miroslav; Popović, Marko; Kaštelan, Ivan; Đukić, Miodrag; Ghilezan, Silvia | A Simple Python Testbed for Federated Learning Algorithms | 2023 | 2023 IEEE Zooming Innovation in Consumer Technologies Conference, ZINC 2023, Novi Sad, Serbia; 148-153 | M33 |