Browsing eNauka
Browsing by Author Kordic, Branislav A
Showing results 1 to 7 of 7
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2013 | A Method for Creating the Operational Profile of TV/STB Device to be Used for Statistical Testing | Marinkovic, Vladimir; Kordic, Branislav A; Popovic, Miroslav V   ; Pekovic, Vukota | Conference Paper | Mp. category will be shown later |
| 2019 | A Solution for Measuring Code Coverage during Automated Testing of an Electronic Circuit Unit | Malbasic, Teodor ; Kordic, Branislav A; Kovacevic, Marko; Bojovic, Zivko C | Conference Paper | Mp. category will be shown later |
| 2017 | Advanced algorithm for scheduling TM transactions with conflict avoidance | Popovic, Marko M; Kordic, Branislav A; Popovic, Miroslav V ; Basicevic, Ilija V | Conference Paper | Mp. category will be shown later |
| 2023 | Complete Formal Verification of the PSTM Transaction Scheduler | Popovic, Miroslav V ; Popovic, Marko M; Kordic, Branislav A; Zhu, Huibiao | Article | Mp. category will be shown later |
| 2015 | DPM-PSTM: Dual-port Memory Based Python Software Transactional Memory | Kordic, Branislav A; Popovic, Miroslav V ; Basicevic, Ilija V | Conference Paper | Mp. category will be shown later |
| 2016 | Estimating Transaction Execution Times for a Software Transactional Memory | Popovic, Miroslav V ; Kordic, Branislav A; Basicevic, Ilija V | Conference Paper | Mp. category will be shown later |
| 2013 | Improved Automatic DTV/STB Menu Navigation for Functional Verification | Marinkovic, Vladimir; Kordic, Branislav A; Popovic, Miroslav V ; Pekovic, Vukota | Conference Paper | Mp. category will be shown later |