Publications

Refined By:
Author:  Kordić, Branislav

Results 1-8 of 8 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)
131-Aug-2017An approach to formal verification of python software transactional memoryKordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija 
224-Sep-2015DPM-PSTM: Dual-port memory based python software transactional memoryKordić, Branislav; Popović, Miroslav; Bašičević, Ilija 
31-Jun-2016Estimating transaction execution times for a software transactional memoryPopović, Miroslav; Kordić, Branislav; Bašičević, Ilija 
419-Nov-2018A method for estimating existence of pairwise STM transaction conflictsPopović, Miroslav; Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija 
51-Jan-2019Online algorithms for scheduling transactions on Python Software transactional memoryPopović, Miroslav; Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija 
61-Jan-2018A Solution of Concurrent Queue on PSTMPopović, Miroslav; Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija 
716-Jun-2017Transaction scheduling for Software Transactional MemoryPopović, Miroslav; Kordić, Branislav; Bašičević, Ilija 
824-Sep-2015Work, Span, and parallelism of transactional memory programsPopović, Miroslav; Kordić, Branislav; Bašičević, Ilija