Autori: Popovic Marko M
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 | An Evolutionary Computational System Architecture Based on a Software Transactional Memory (Article) |
Autori | Kordic Branislav A Popovic Marko M Popovic Miroslav V Goldstein Moshe Amitay Moshe Da Yan David Fredj Erick |
Info | REVUE ROUMAINE DES SCIENCES TECHNIQUES-SERIE ELECTROTECHNIQUE ET ENERGETIQUE, (2021), vol. 66 br. 1, str. 47-52 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Fault Tolerant Distributed Python Software Transactional Memory (Article) |
Autori | Popovic Marko M Basicevic Ilija V Djukic Miodrag M Popovic Miroslav V |
Info | ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, (2020), vol. 20 br. 4, str. 19-28 |
Projekat | Serbian Ministry of Education, Science, and Technology Development [III 44009-2] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Formal Verification of Local and Distributed Python Software Transactional Memories (Article) |
Autori | Popovic Marko M Popovic Miroslav V Ghilezan Silvia Kordic Branislav A |
Info | REVUE ROUMAINE DES SCIENCES TECHNIQUES-SERIE ELECTROTECHNIQUE ET ENERGETIQUE, (2019), vol. 64 br. 4, str. 423-428 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |