Bašičević, Ilija
Results 1-8 of 8 (Search time: 0.001 seconds).
Issue Date | Title | Author(s) | |
---|---|---|---|
1 | 31-Aug-2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija |
2 | 24-Sep-2015 | DPM-PSTM: Dual-port memory based python software transactional memory | Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija |
3 | 1-Jun-2016 | Estimating transaction execution times for a software transactional memory | Popović, Miroslav; Kordić, Branislav; Bašičević, Ilija |
4 | 19-Nov-2018 | A method for estimating existence of pairwise STM transaction conflicts | Popović, Miroslav; Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija |
5 | 1-Jan-2019 | Online algorithms for scheduling transactions on Python Software transactional memory | Popović, Miroslav; Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija |
6 | 1-Jan-2018 | A Solution of Concurrent Queue on PSTM | Popović, Miroslav; Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija |
7 | 16-Jun-2017 | Transaction scheduling for Software Transactional Memory | Popović, Miroslav; Kordić, Branislav; Bašičević, Ilija |
8 | 24-Sep-2015 | Work, Span, and parallelism of transactional memory programs | Popović, Miroslav; Kordić, Branislav; Bašičević, Ilija |