Kordić, Branislav

Type

Date issued

24 2000 - 2027

Mp-cat.

18 М30/М60
2 M22
1 M24
1 M51
1 M52
1 M70

Date issued - custom

Year from:

Year to:

Results 1-20 of 24 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2020	Формална верификација софтверске трансакционе меморије засноване на временским аутоматима	Кордић, Бранислав	Doctoral theses	70M70
2019	Online algorithms for scheduling transactions on Python software transactional memory	Popović, Marko ; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija	Article	51M51
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	Formal Verification of Local and Distributed Python Software Transactional Memories	Popović, Marko; Popović, Miroslav ; Gilezan, Silvia K. ; KORDIĆ, BRANISLAV A.	Article	22M22
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
2019	A solution of concurrent queue on local and distributed Python STM	Popovic, Marko; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija	Article	52M52
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
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
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ć	Conference Paper	Mp. category will be shown later
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
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
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
2018	A simulation of distributed STM	Brkin, Dragan; Kordić, Branislav ; Popović, Miroslav	Article	24M24
2017	Jedno Rešenje CloudSim Simulacije Distribuirane STM	Kordić, Branislav A ; Popović, Miroslav ; Brkin, Dragan	Conference Paper	Mp. category will be shown later
2017	Napredni algoritam za raspoređivanje TM transakcija sa izbegavanjem konflikata	Marko Popovic; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija	Conference Paper	Mp. category will be shown later
2017	Transaction scheduling for Software Transactional Memory	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
2015	Hands-on System Programming Labs & Projects Based on E2LP Platform	Kordić, Branislav ; Marinković, Vladimir ; Popović, Miroslav ; Kaštelan, Ivan	Conference Paper	Mp. category will be shown later
2015	Work, Span, and Parallelism of Transactional Memory Programs	Popović, Miroslav ; Kordić, Branislav ; Bašičević, Ilija	Conference Paper	Mp. category will be shown later