Istraživači
Kordić, Branislav
Rezultati 1-20 od 24
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2020 | Формална верификација софтверске трансакционе меморије засноване на временским аутоматима | Кордић, Бранислав   | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2019 | Online algorithms for scheduling transactions on Python software transactional memory | Popović, Marko ; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija | Naučni članak | 51M51 - Vodeći nacionalni časopis kategorije M51 |
| 2019 | Formal verification of python software transactional memory based on timed automata | KORDIĆ, BRANISLAV A. ; Popović, Miroslav ; Gilezan, Silvia K. | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2019 | A solution of concurrent queue on local and distributed Python STM | Popovic, Marko; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija | Naučni članak | 52M52 - Nacionalni časopis kategorije 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 | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Formal Verification of Local and Distributed Python Software Transactional Memories | Popović, Marko; Popović, Miroslav ; Gilezan, Silvia K. ; KORDIĆ, BRANISLAV A. | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2019 | A Solution of Concurrent Stack on PSTM | Marko Popović; KORDIĆ, BRANISLAV A. ; Miroslav Popović; Ilija Bašičević | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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. |
| 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 | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | A Solution of Python Distributed STM Based on Data Replication | Popović, Marko ; Popović, Miroslav ; Kordić, Branislav ; Bašičević, Ilija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | A Solution of Concurrent List on PSTM | Popović, Marko ; Kordić, Branislav A. ; Popović, Miroslav ; Bašičević, Ilija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | A method for estimating existence of pairwise STM transaction conflicts | Popovic, Miroslav; Kordić, Branislav ; Popovic, Marko; Basicevic, Ilija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | A simulation of distributed STM | Brkin, Dragan; Kordić, Branislav ; Popović, Miroslav | Naučni članak | 24M24 - Vodeći nacionalni časopis kategorije M24 |
| 2018 | A Solution of Concurrent Queue on PSTM | Popović, Marko ; Kordić, Branislav A ; Popović, Miroslav ; Bašičević, Ilija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Jedno Rešenje CloudSim Simulacije Distribuirane STM | Kordić, Branislav A ; Popović, Miroslav ; Brkin, Dragan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija | 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 | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Transaction scheduling for Software Transactional Memory | Popović, Miroslav ; Kordić, Branislav ; Bašičević, Ilija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Hands-on System Programming Labs & Projects Based on E2LP Platform | Kordić, Branislav ; Marinković, Vladimir ; Popović, Miroslav ; Kaštelan, Ivan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Work, Span, and Parallelism of Transactional Memory Programs | Popović, Miroslav ; Kordić, Branislav ; Bašičević, Ilija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |