Pronađeno: 1-4 / 4 radova

Autori: Popovic Marko M

>> Prikaži sve rezultate

>> Sve godine

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 Web of Science   Članak   Elečas   Rang časopisa  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
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 Web of Science   Elečas   Rang časopisa   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
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 Web of Science   Članak   Elečas   Rang časopisa   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
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 Web of Science   Elečas   Rang časopisa   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
>> Sve godine

Ispis zapisa u formatu:TXT | BibTeX