Pronađeno: 11-20 / 110 radova

Autori: Popovic Miroslav V

>> Filter: Samo Article i Review

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  
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 Fast Scheduling in Distributed Transactional Memory (Article)
Autori Busch Costas  Herlihy Maurice  Popovic Miroslav V  Sharma Gokarna 
Info THEORY OF COMPUTING SYSTEMS, (2021), vol. 65 br. 2, str. 296-322
Projekat National Science Foundation (NSF) [1320835, 1420673, 1936450]; Serbian Ministry of Education Science [44009, TR 32031]
Ispravka ISI/Web of Science   Članak   Elečas   Rang časopisa   Citati: ISI/Web of Science   Scopus  
Naslov Modernized Courses in Automotive Software Engineering (Proceedings Paper)
Autori Kastelan Ivan  Pavkovic Bogdan  Vranjes Mario  Popovic Miroslav V 
Info 2020 43RD INTERNATIONAL CONVENTION ON INFORMATION, COMMUNICATION AND ELECTRONIC TECHNOLOGY (MIPRO 2020), (2020), vol. br. , str. 737-740
Projekat European Union [2017HR-RS60]
Ispravka ISI/Web of Science  
Naslov Dynamic Scheduling in Distributed Transactional Memory (Proceedings Paper)
Autori Busch Costas  Herlihy Maurice  Popovic Miroslav V  Sharma Gokarna 
Info 2020 IEEE 34TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM IPDPS 2020, (2020), vol. br. , str. 874-883
Projekat Ministry of Education, Science and Technology Development of Republic of Serbia [III-44009-2]; National Science Foundation (NSF) [CCF-1936450]
Ispravka ISI/Web of Science   Članak   Citati: ISI/Web of Science   Scopus  
Ispis zapisa u formatu:TXT | BibTeX