Fakultet tehničkih nauka, Departman za računarstvo i automatiku
Organization name
Fakultet tehničkih nauka, Departman za računarstvo i automatiku
Parent OrgUnit
City
Novi Sad
Country
Serbia
OrgUnit's Researchers publications
(Dept/Workgroup Publication)
Results 1-20 of 45 (Search time: 0.003 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-2004 | A concept of an integrated development environment for reactive systems | Velikić, Ivan; Popović, Miroslav ; Kovaćević, Vladimir |
5 | 1-Jan-2014 | Conflict types and probabilities in stochastic TM-programs | Popović, Miroslav; Bašičević, Ilija |
6 | 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 |
7 | 28-Feb-2017 | Debug proxy server for DSP platforms | Povazan I.; Krunić, Momčilo ; Krnjetin M.; Popović, Miroslav |
8 | 1-Dec-2008 | A dominator path scheduler for deep pipeline architectures | Simeonov, Aleksandar; Medić, Slavica ; Popović, Miroslav |
9 | 24-Sep-2015 | DPM-PSTM: Dual-port memory based python software transactional memory | Kordić, Branislav; Popović, Miroslav; Bašičević, Ilija |
10 | 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. |
11 | 1-Jan-2016 | Energy consumption estimation for embedded applications | Krunić, Momčilo ; Popović, Miroslav; Krunic V.; Cetic N. |
12 | 1-Jan-2013 | Estimating parallelism of transactional memory programs | Popović, Miroslav; Bašičević, Ilija ; Djukic M.; Cetic N. |
13 | 1-Jun-2016 | Estimating transaction execution times for a software transactional memory | Popović, Miroslav; Kordić, Branislav; Bašičević, Ilija |
14 | 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 |
15 | 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 |
16 | 24-Jul-2017 | Fast scheduling in distributed transactional memory | Busch C.; Herlihy M.; Popović, Miroslav ; Sharma G. |
17 | 1-Jan-2019 | Formal verification of python software transactional memory based on timed automata | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia |
18 | 1-Mar-2018 | Formalization and Verification of the PSTM Architecture | Liu A.; Popović, Miroslav ; Zhu H. |
19 | 15-Jul-2015 | Hands-on system programming labs & projects based on E2LP platform | Kordić, Branislav; Marinković, Vladimir ; Popović, Miroslav; Kaštelan, Ivan |
20 | 21-Jul-2015 | Impossibility results for distributed transactional memory | Busch C.; Herlihy M.; Popović, Miroslav ; Sharma G. |