Истраживачи
Kordić, Branislav
Резултати 1-20 од 24
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2020 | Формална верификација софтверске трансакционе меморије засноване на временским аутоматима | Кордић, Бранислав   | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2019 | Online algorithms for scheduling transactions on Python software transactional memory | Popović, Marko ; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija | Научни чланак | 51M51 - Водећи национални часопис категорије M51 |
| 2019 | Formal verification of python software transactional memory based on timed automata | KORDIĆ, BRANISLAV A. ; Popović, Miroslav ; Gilezan, Silvia K. | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2019 | A solution of concurrent queue on local and distributed Python STM | Popovic, Marko; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija | Научни чланак | 52M52 - Национални часопис категорије M52 |
| 2019 | Formal verification of python software transactional memory serializability based on the push/pull semantic model | Popovic, Miroslav ; Popovic, Marko; Gilezan, Silvia ; Kordić, Branislav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Formal Verification of Local and Distributed Python Software Transactional Memories | Popović, Marko; Popović, Miroslav ; Gilezan, Silvia K. ; KORDIĆ, BRANISLAV A. | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2019 | A Solution of Concurrent Stack on PSTM | Marko Popović; KORDIĆ, BRANISLAV A. ; Miroslav Popović; Ilija Bašičević | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Jedno rešenje izračunavanja pokrivenosti koda prilikom izvršavanja automatskih testova na elektronskoj upravljačkoj jedinici | Teodor Malbašić; KORDIĆ, BRANISLAV A. ; Marko Kovačević; Živko Bojović | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory | Kordić, Branislav ; Popovic, Marko; Popovic, Miroslav ; Goldstein, Moshe; Amitay, Moshe; Dayan, David | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | A Solution of Python Distributed STM Based on Data Replication | Popović, Marko ; Popović, Miroslav ; Kordić, Branislav ; Bašičević, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | A Solution of Concurrent List on PSTM | Popović, Marko ; Kordić, Branislav A. ; Popović, Miroslav ; Bašičević, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | A method for estimating existence of pairwise STM transaction conflicts | Popovic, Miroslav; Kordić, Branislav ; Popovic, Marko; Basicevic, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | A simulation of distributed STM | Brkin, Dragan; Kordić, Branislav ; Popović, Miroslav | Научни чланак | 24M24 - Водећи национални часопис категорије M24 |
| 2018 | A Solution of Concurrent Queue on PSTM | Popović, Marko ; Kordić, Branislav A ; Popović, Miroslav ; Bašičević, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Jedno Rešenje CloudSim Simulacije Distribuirane STM | Kordić, Branislav A ; Popović, Miroslav ; Brkin, Dragan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Napredni algoritam za raspoređivanje TM transakcija sa izbegavanjem konflikata | Marko Popovic; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Transaction scheduling for Software Transactional Memory | Popović, Miroslav ; Kordić, Branislav ; Bašičević, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Hands-on System Programming Labs & Projects Based on E2LP Platform | Kordić, Branislav ; Marinković, Vladimir ; Popović, Miroslav ; Kaštelan, Ivan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Work, Span, and Parallelism of Transactional Memory Programs | Popović, Miroslav ; Kordić, Branislav ; Bašičević, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |