Researchers
Popović, Miroslav
Results 21-40 of 209
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2021 | Paralelno programiranje![]() | Popović, Miroslav | Text book | Mp. category will be shown later |
| 2021 | Fast Scheduling in Distributed Transactional Memory![]() | Busch, Costas; Herlihy, Maurice; Popović, Miroslav | Article | 22M22 |
| 2021 | Osnove računarskih mreža 1![]() | Bašičević, Ilija | Text book | Mp. category will be shown later |
| 2021 | Analysis of virtio GPU in a containerized environment![]() | Bogdanovic, Dejan; Popovic, Miroslav | Conference Paper | Mp. category will be shown later |
| 2021 | Formal Verification of Distributed Master-Slave Finite State Machine![]() | Popović, Marko; Marinković, Vladimir | Conference Paper | Mp. category will be shown later |
| 2020 | Fault Tolerant Distributed Python Software Transactional Memory![]() | Popovic, Marko M; Basicevic, Ilija V | Article | 22M22 |
| 2020 | Vehicle Detection in the Autonomous Vehicle Environment for Potential Collision Warning![]() | Gluhakovic, Mario; Herceg, Marijan; Popovic, Miroslav V | Conference Paper | Mp. category will be shown later |
| 2020 | Formal analysis and verification of the PSTM architecture using CSP![]() | Liu, Ailun; Zhu, Huibiao; Popović, Miroslav | Article | 21M21 |
| 2020 | One Solution of DVB Software Demultiplexer Adaptation for Timestamped Transport Stream![]() | Banović, Radenko; Bašičević, Ilija; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2020 | Modernized Courses in Automotive Software Engineering![]() | Kastelan, Ivan | Conference Paper | Mp. category will be shown later |
| 2019 | Modernizacija laboratorija za inovativne tehnologije![]() | Kaštelan, Ivan A. | Conference Paper | Mp. category will be shown later |
| 2019 | Personalizovan i distribuirani sistem za podršku odlučivanju u bolničkim informacionim sistemima![]() | Velikić, Gordana; Kukolj, Dragan D. | Technical reports | Mp. category will be shown later |
| 2019 | Formal Verification of Local and Distributed Python Software Transactional Memories![]() | Popović, Marko; Popović, Miroslav | Article | 22M22 |
| 2019 | A Solution of Python Distributed STM Based on Data Replication![]() | Popović, Marko | Conference Paper | Mp. category will be shown later |
| 2019 | A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory![]() | Kordić, Branislav | Conference Paper | Mp. category will be shown later |
| 2019 | Osnove distribuiranih sistema u realnom vremenu![]() | Popović, Miroslav | Text book | Mp. category will be shown later |
| 2019 | A practical approach to detection of distributed denial-of-service attacks using a hybrid detection method![]() | Bojović, Petar | Article | 21M21 |
| 2019 | One method for hybrid playback and recording of digital TV channels on embedded devices![]() | Vranic, Nikola | Conference Paper | Mp. category will be shown later |
| 2019 | Formal verification of python software transactional memory serializability based on the push/pull semantic model![]() | Popovic, Miroslav | Conference Paper | Mp. category will be shown later |
| 2019 | Agile Method and ROS in Automotive Software development processes, practice, and teaching![]() | Krunić, Momčilo | Conference Paper | Mp. category will be shown later |
