Researchers



Refined By:
Type:  article

Results 1-20 of 58

Issue DateTitleAuthor(s)TypeМp-cat.
2023Flexible Scheduling of Transactional Memory on TreesBusch, Costas; Chlebus, Bogdan; Herlihy, Maurice; Popović, Miroslav  ; Poudel, Pavan; Sharma, GokarnaArticle
23M23
2023A Learning Model for Lifelong Education of Computer EngineersKaštelan, Ivan  ; Popović, Miroslav  ; Bjelica, Milan  Article
22M22
2023Complete Formal Verification of the PSTM Transaction SchedulerPopovic, Miroslav V  ; Popovic, Marko M; Kordic, Branislav A; Zhu, HuibiaoArticle
Mp. category will be shown later
2022Jedno rešenje lanca-blokovaKuprešanin, Tamara; Popović, Miroslav  Article
52M52
2021Fast Scheduling in Distributed Transactional MemoryBusch, Costas; Herlihy, Maurice; Popović, Miroslav  ; Sharma, GokarnaArticle
23M23
2021An Evolutionary Computational System Architecture Based on a Software Transactional MemoryKordic, Branislav; Popovic, Marko  ; Popovic, Miroslav  ; Goldstein, Moshe; Amitay, Moshe; Da, Yan David; Fredj, ErickArticle
23M23
2021Dynamic scheduling in distributed transactional memoryBusch, Costas; Herlihy, Maurice; Popovic, Miroslav V  ; Sharma, GokarnaArticle
22M22
2020Formal analysis and verification of the PSTM architecture using CSPLiu, Ailun; Zhu, Huibiao; Popović, Miroslav  ; Xiang, Shuangqing; Zhang, LeiArticle
21M21
2020Fault Tolerant Distributed Python Software Transactional MemoryPopovic, Marko M; Basicevic, Ilija V  ; Djukic, Miodrag M  ; Popovic, Miroslav V  Article
23M23
2019A solution of concurrent queue on local and distributed Python STMPopovic, Marko; Kordić, Branislav  ; Popović, Miroslav  ; Bašičević, Ilija  Article
52M52
2019Formal verification of python software transactional memory based on timed automataKORDIĆ, BRANISLAV A.  ; Popović, Miroslav  ; Gilezan, Silvia K.  Article
22M22
2019Formal Verification of Local and Distributed Python Software Transactional MemoriesPopović, Marko; Popović, Miroslav  ; Gilezan, Silvia K.  ; KORDIĆ, BRANISLAV A.  Article
23M23
2019Online algorithms for scheduling transactions on Python software transactional memoryPopović, Marko  ; Kordić, Branislav  ; Popović, Miroslav  ; Bašičević, Ilija  Article
51M51
2019A practical approach to detection of distributed denial-of-service attacks using a hybrid detection methodBojović, Petar  ; Bašičević, Ilija  ; Ocovaj, S.; Popović, Miroslav  Article
22M22
2019Реализација бежичног акустичног сензора базирана на блутут технологијиПавловић, Александар Вук; Поповић, Мирослав  Article
53M53
2018Evaluation of Takagi-Sugeno-Kang fuzzy method in entropy-based detection of DDoS attacksPetkovic, Miodrag; Bašičević, Ilija  ; Kukolj, Dragan  ; Popović, Miroslav  Article
23M23
2018An Automatic Instruction-Level Parallelization of Machine CodeMarinković, Vladimir  ; POPOVIC, Miroslav  ; DJUKIC, Miodrag  Article
23M23
2018A simulation of distributed STMBrkin, Dragan; Kordić, Branislav  ; Popović, Miroslav  Article
24M24
2017Development of methods for traffic simulation of telecommunication processes in IRITEL over 45 yearsLebl, Aleksandar ; Mitić, Dragan ; Markov, Zarko; Suh, Tomislav; Mileusnić, Mladen ; Jovanovic, Predrag; Matić, Vladimir ; Trenkić, Branimir ; Popović, Miroslav  ; Tomić, Željka ;
Dakovic, Petar; Vidakovic, Ivan; Mitrovic, Borivoje;
Article
51M51
2017Dynamic Rain Attenuation Model for Millimeter Wave Network AnalysisPerić, Miroslav  ; Perić, Dragana  ; Todorović, Branislav  ; Popović, Miroslav  Article
21aM21a

Results 1-20 of 58