Departman za računarstvo i automatiku
Organization name
Departman za računarstvo i automatiku
Parent OrgUnit
City
Novi Sad
Country
Serbia
OrgUnit's Researchers publications
(Dept/Workgroup Publication)
Results 1-20 of 42 (Search time: 0.002 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 | 1-Jan-2018 | An automatic instruction-level parallelization of machine code | Marinković, Vladimir ; Popović, Miroslav; Djukic M. |
| 3 | 28-Feb-2017 | Cloud based voice interface for Internet of Things devices | Cetic N.; Popović, Miroslav; Ramač Furman, Anamaria ; Krunić, Momčilo |
| 4 | 1-Jan-2014 | Conflict types and probabilities in stochastic TM-programs | Popović, Miroslav; Bašičević, Ilija |
| 5 | 10-Mar-2016 | Data flow CAD tool for firniware development and power consumption estimation in multi-core hearing aids | Krunić, Momčilo ; Povazan I.; Popović, Miroslav; Kovačević, Jelena |
| 6 | 28-Feb-2017 | Debug proxy server for DSP platforms | Povazan I.; Krunić, Momčilo ; Krnjetin M.; Popović, Miroslav |
| 7 | 1-Dec-2008 | A dominator path scheduler for deep pipeline architectures | Simeonov, Aleksandar; Medić, Slavica ; Popović, Miroslav |
| 8 | 24-Sep-2015 | DPM-PSTM: Dual-port memory based python software transactional memory | Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija |
| 9 | 1-Dec-2013 | Effect of nonstationarity of network traffic in entropy-based intrusion detection (case study) | Bašičević, Ilija ; Kostovic Z.; Popović, Miroslav; Ocovaj S. |
| 10 | 1-Jan-2016 | Energy consumption estimation for embedded applications | Krunić, Momčilo ; Popović, Miroslav; Krunic V.; Cetic N. |
| 11 | 1-Jan-2013 | Estimating parallelism of transactional memory programs | Popović, Miroslav; Bašičević, Ilija ; Djukic M.; Cetic N. |
| 12 | 1-Jun-2016 | Estimating transaction execution times for a software transactional memory | Popović, Miroslav; Kordić, Branislav; Bašičević, Ilija |
| 13 | 25-Mar-2015 | Evaluation of entropy-based detection of outbound denial-of-service attacks in edge networks | Bašičević, Ilija ; Ocovaj S.; Popović, Miroslav |
| 14 | 1-Jan-2018 | Evaluation of takagi-sugeno-kang fuzzy method in entropy-based detection of DDoS attacks | Petković, Milica ; Bašičević, Ilija ; Kukolj, Dragan ; Popović, Miroslav |
| 15 | 1-Jan-2019 | Formal verification of python software transactional memory based on timed automata | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia |
| 16 | 1-Mar-2018 | Formalization and Verification of the PSTM Architecture | Liu A.; Popović, Miroslav ; Zhu H. |
| 17 | 15-Jul-2015 | Hands-on system programming labs & projects based on E2LP platform | Kordić, Branislav; Marinković, Vladimir ; Popović, Miroslav; Kaštelan, Ivan |
| 18 | 21-Jul-2015 | Impossibility results for distributed transactional memory | Busch C.; Herlihy M.; Popović, Miroslav ; Sharma G. |
| 19 | 25-Oct-2013 | Improved automatic DTV/STB menu navigation for functional verification | Marinković, Vladimir ; Kordić, Branislav; Popović, Miroslav; Pekovic V. |
| 20 | 31-Aug-2017 | Instructions energy consumption on a heterogeneous multicore platform | Krunić, Momčilo ; Kovačević, Jelena; Popović, Miroslav; Krunic V. |