Browsing eNauka
Browsing by Author Kordić, Branislav
Showing results 1 to 20 of 24
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2018 | A method for estimating existence of pairwise STM transaction conflicts | Popovic, Miroslav; Kordić, Branislav   ; Popovic, Marko; Basicevic, Ilija | Conference Paper | Mp. category will be shown later |
| 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 | Conference Paper | Mp. category will be shown later |
| 2018 | A simulation of distributed STM | Brkin, Dragan; Kordić, Branislav ; Popović, Miroslav | Article | 24M24 |
| 2018 | A Solution of Concurrent List on PSTM | Popović, Marko ; Kordić, Branislav A. ; Popović, Miroslav ; Bašičević, Ilija | Conference Paper | Mp. category will be shown later |
| 2019 | A solution of concurrent queue on local and distributed Python STM | Popovic, Marko; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija | Article | 52M52 |
| 2018 | A Solution of Concurrent Queue on PSTM | Popović, Marko ; Kordić, Branislav A ; Popović, Miroslav ; Bašičević, Ilija | Conference Paper | Mp. category will be shown later |
| 2019 | A Solution of Concurrent Stack on PSTM | Marko Popović; KORDIĆ, BRANISLAV A. ; Miroslav Popović; Ilija Bašičević | Conference Paper | Mp. category will be shown later |
| 2019 | A Solution of Python Distributed STM Based on Data Replication | Popović, Marko ; Popović, Miroslav ; Kordić, Branislav ; Bašičević, Ilija | Conference Paper | Mp. category will be shown later |
| 2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija | Conference Paper | Mp. category will be shown later |
| 2019 | Formal Verification of Local and Distributed Python Software Transactional Memories | Popović, Marko; Popović, Miroslav ; Gilezan, Silvia K. ; KORDIĆ, BRANISLAV A. | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2019 | Formal verification of python software transactional memory based on timed automata | KORDIĆ, BRANISLAV A. ; Popović, Miroslav ; Gilezan, Silvia K. | Article | 22M22 |
| 2019 | Formal verification of python software transactional memory serializability based on the push/pull semantic model | Popovic, Miroslav ; Popovic, Marko; Gilezan, Silvia ; Kordić, Branislav | Conference Paper | Mp. category will be shown later |
| 2020 | Формална верификација софтверске трансакционе меморије засноване на временским аутоматима | Кордић, Бранислав | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2015 | Hands-on System Programming Labs & Projects Based on E2LP Platform | Kordić, Branislav ; Marinković, Vladimir ; Popović, Miroslav ; Kaštelan, Ivan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Jedno Rešenje CloudSim Simulacije Distribuirane STM | Kordić, Branislav A ; Popović, Miroslav ; Brkin, Dragan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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ć | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Napredni algoritam za raspoređivanje TM transakcija sa izbegavanjem konflikata | Marko Popovic; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Online algorithms for scheduling transactions on Python software transactional memory | Popović, Marko ; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija | Научни чланак | 51M51 - Водећи национални часопис категорије M51 |
| 2013 | Parallel Processing of Multichannel Video Based on Multicore Architecture | Kordić, Branislav ; Marinković, Vladimir ; Popović, Miroslav ; Peković, Vukota | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | PROCENA PERFORMANSI METODA VIŠEKORISNIČKOG PRISTUPA BEŽIČNOM - KOMUNIKACIONOM KANALU | LAZIĆ, KRSTO M. ; KORDIĆ, BRANISLAV A. ; Pilipović, Miloš ; Samardžija, Dragan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |