Departman za računarstvo i automatiku

View Statistics Email Alert RSS Feed
Organization name
Departman za računarstvo i automatiku
Parent OrgUnit
City
Novi Sad
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Refined By:
Author:  Popović, Miroslav
Author:  Kordić, Branislav

Results 1-15 of 15 (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 
41-Jan-2019Formal verification of python software transactional memory based on timed automataKordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia 
515-Jul-2015Hands-on system programming labs & projects based on E2LP platformKordić, Branislav; Marinković, Vladimir ; Popović, Miroslav; Kaštelan, Ivan 
625-Oct-2013Improved automatic DTV/STB menu navigation for functional verificationMarinković, Vladimir ; Kordić, Branislav; Popović, Miroslav; Pekovic V.
74-Dec-2013A method for creating the operational profile of TV/STB device to be used for statistical testingMarinković, Vladimir ; Kordić, Branislav; Popović, Miroslav; Pekovic V.
819-Nov-2018A method for estimating existence of pairwise STM transaction conflictsPopović, Miroslav; Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija 
91-Jan-2019Online algorithms for scheduling transactions on Python Software transactional memoryPopović, Miroslav; Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija 
101-Jan-2013Parallel processing of multichannel video based on multicore architectureKordić, Branislav; Marinković, Vladimir ; Popović, Miroslav; Pekovic V.
112-Sep-2019A protein structure prediction program architecture based on a software transactional memoryKordić, Branislav ; Popović, Marko; Popović, Miroslav ; Goldstein M.; Amitay M.; Dayan D.
121-Feb-2018A simulation of distributed STMBrkin, Dragan; Kordić, Branislav ; Popović, Miroslav 
131-Jan-2018A Solution of Concurrent Queue on PSTMPopović, Miroslav; Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija 
1416-Jun-2017Transaction scheduling for Software Transactional MemoryPopović, Miroslav; Kordić, Branislav; Bašičević, Ilija 
1524-Sep-2015Work, Span, and parallelism of transactional memory programsPopović, Miroslav; Kordić, Branislav; Bašičević, Ilija