Autori: Popovic Miroslav V
| Naslov | Flexible scheduling of transactional memory on trees (Article) |
| Autori | Busch Costas Chlebus Bogdan S Herlihy Maurice Popovic Miroslav V Poudel Pavan Sharma Gokarna |
| Info | THEORETICAL COMPUTER SCIENCE, (2023), vol. 978 br. , str. - |
| Projekat | National Science Foundation [CNS-2045597] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | A Learning Model for Lifelong Education of Computer Engineers (Article) |
| Autori | Kastelan Ivan Popovic Miroslav V Bjelica Milan Z |
| Info | IEEE ACCESS, (2023), vol. 11 br. , str. 101296-101308 |
| Projekat | Provincial Secretariat for Higher Education and Scientific Research [142-451-2339/2022-01/01] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Complete Formal Verification of the PSTM Transaction Scheduler (Article) |
| Autori | Popovic Miroslav V Popovic Marko M Kordic Branislav A Zhu Huibiao |
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2023), vol. 20 br. 1, str. 307-327 |
| Projekat | Ministry of Education, Science and Technology Development of Republic of Serbia [451-03-68/2020-14/200156]; "Digital Silk Road" Shanghai International Joint Lab of Trustworthy Intelligent Software [22510750100] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Guest Editorial - Engineering of Computer Based Systems (Editorial Material) |
| Autori | Djukic Miodrag M Popovic Miroslav V |
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2023), vol. 20 br. 1, str. V-VI |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Flexible Scheduling of Transactional Memory on Trees (Proceedings Paper) |
| Autori | Busch Costas Chlebus Bogdan S Herlihy Maurice Popovic Miroslav V Poudel Pavan Sharma Gokarna |
| Info | STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS (SSS 2022), (2022), vol. 13751 br. , str. 146-163 |
| Projekat | National Science Foundation [CNS-2045597] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP (Proceedings Paper) |
| Autori | Li Peimu Yin Jiaqi Zhu Huibiao Xiao Lili Popovic Miroslav V |
| Info | 2022 IEEE 46TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2022), (2022), vol. br. , str. 872-877 |
| Projekat | National Key Research and Development Program of China [2018YFB2101300]; National Natural Science Foundation of China [61872145, 62032024]; Shanghai Trusted Industry Internet Software Collaborative Innovation Center; Dean's Fund of Shanghai Key Laboratory of Trustworthy Computing (East China Normal University) |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science Scopus |
| Naslov | Dynamic scheduling in distributed transactional memory (Article) |
| Autori | Busch Costas Herlihy Maurice Popovic Miroslav V Sharma Gokarna |
| Info | DISTRIBUTED COMPUTING, (2022), vol. 35 br. 1, str. 19-36 |
| Projekat | Ministry of Education, Science and Technological Development, Serbia [451-03-68/2020-14/200156]; National Science Foundation (NSF) [CCF-1936450, CNS-20 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Analysis of a software based hardware composer adaptation (Proceedings Paper) |
| Autori | Bogosavljev Dejan Popovic Miroslav V Bogdanovic Dejan |
| Info | 2021 29TH TELECOMMUNICATIONS FORUM (TELFOR), (2021), vol. br. , str. - |
| Projekat | Ministry of Education, Science and Technological Development [451-03-68/2020-14/200156] |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science Scopus |
| Naslov | Formal Verification of Distributed Master-Slave Finite State Machine (Proceedings Paper) |
| Autori | Popovic Marko M Marinkovic Vladimir Djukic Miodrag M Popovic Miroslav V |
| Info | 2021 29TH TELECOMMUNICATIONS FORUM (TELFOR), (2021), vol. br. , str. - |
| Projekat | Ministry of Education, Science and Technological Development [451-03-68/2020-14/200156] |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science Scopus |
| Naslov | Analysis of virtio GPU in a containerized environment (Proceedings Paper) |
| Autori | Bogdanovic Dejan Popovic Miroslav V Usorac Srdjan |
| Info | 2021 29TH TELECOMMUNICATIONS FORUM (TELFOR), (2021), vol. br. , str. - |
| Projekat | Ministry of Education, Science and Technological Development [451-03-68/2020-14/200156] |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science Scopus |
