Pronađeno: 1-10 / 10 radova

Autori: Popovic Marko M

>> Filter: Samo Article i Review

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 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 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 Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model (Proceedings Paper)
Autori Popovic Miroslav V  Popovic Marko M  Ghilezan Silvia  Kordic Branislav A 
Info PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019), (2020), vol. br. , str. -
Projekat Ministry of Education, Science and Technology Development of Republic of Serbia [III-44009-2, III-44006, ON174026]
Ispravka ISI/Web of Science   Članak   Citati: ISI/Web of Science   Scopus  
Naslov A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory (Proceedings Paper)
Autori Kordic Branislav A  Popovic Marko M  Popovic Miroslav V  Goldstein Moshe  Amitay Moshe  Dayan David 
Info PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019), (2020), vol. br. , str. -
Projekat Ministry of Education, Science and Technological Development of the Republic of Serbia [III-44009-2]
Ispravka ISI/Web of Science   Članak   Citati: ISI/Web of Science  
Naslov A Solution of Python Distributed STM Based on Data Replication (Proceedings Paper)
Autori Popovic Marko M  Popovic Miroslav V  Kordic Branislav A  Basicevic Ilija V 
Info 2019 27TH TELECOMMUNICATIONS FORUM (TELFOR 2019), (2019), vol. br. , str. 664-667
Projekat Ministry of Education, Science and Technology Development of Republic of Serbia [III-44009]
Ispravka ISI/Web of Science   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  
Naslov A Solution of Concurrent Queue on PSTM (Proceedings Paper)
Autori Popovic Marko M  Kordic Branislav A  Popovic Miroslav V  Basicevic Ilija V 
Info 2018 26TH TELECOMMUNICATIONS FORUM (TELFOR), (2018), vol. br. , str. 735-738
Projekat Ministry of Education, Science and Technology Development of Republic of Serbia [III-44009]
Ispravka ISI/Web of Science   Citati: ISI/Web of Science   Scopus  
Naslov Advanced algorithm for scheduling TM transactions with conflict avoidance (Proceedings Paper)
Autori Popovic Marko M  Kordic Branislav A  Popovic Miroslav V  Basicevic Ilija V 
Info 2017 25TH TELECOMMUNICATION FORUM (TELFOR), (2017), vol. br. , str. 844-847
Ispravka ISI/Web of Science   Citati: ISI/Web of Science   Scopus  
Ispis zapisa u formatu:TXT | BibTeX