Истраживачи
Popović, Miroslav
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2011 | An Approach to Formal Verification of Embedded Software | Bašičević, Ilija   ; Popović, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Системска програмска подршка у реалном времену - 2 - Оперативни системи за рад у реалном времену | Kovačević, Vladimir; Popović, Miroslav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2011 | Formal Verification of Distributed Transaction Management in a SOA Based Control System | Ivana Popović; Vladislav Vrtunski; Popović, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | RAZMENA PODATAKA U ELEKTROENERGETSKIM SISTEMIMA ZASNOVANA NA CIM MODELU I SERVISNO ORIJENTISANOJ ARHITEKTURI | Nenad Mučalov; Popović, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Sistem za govornu komunikaciju povezivanjem javne telefonske mreze (PSTN) ili telefonskog aparata sa Internetom (VoIP) | Bašičević, Ilija ; Drašković, Svetozar ; POPOVIĆ, MIROSLAV ; Spasojević, Danijel ; Bjelica, Milan ; Pečkai-Kovač, Robert ; SIMIĆ, DRAGAN ; Samardžija, Dragan ; Nikola Kuzmanović; Novković, Teodora | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | An Approach to Parallelization of Sequential C Code | Nikola Vranić; Marinković, Vladimir ; Đukić, Miodrag ; Popović, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | JEDNO REŠENJE DISTRIBUIRANE TOPOLOŠKE ANALIZE ZA RAD U REALNOM - VREMENU | POPOVIĆ, NEMANjA ; POPOVIĆ, MIROSLAV | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2011 | Jedno rešenje komunikacione sprege i okvira za distribuiranu obradu elektroenergetskih funkcija | Nikola Radin; Popović, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | An Optimal Initial Partitioning of Large Data Model in Utility Management Systems | Čapko, Darko ; Erdeljan, Aleksandar ; Popović, Miroslav ; Švenda, Goran | Научни чланак | 23M23 - Рад у међ. часопису |
| 2011 | Formal verification of embedded software based on software compliance properties and explicit use of time | Bašičević, Ilija ; Popović, Miroslav | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2011 | EPS Elektroprivreda | ČOKIĆ, MITA ; POPOVIĆ, MIROSLAV ; POPOVIĆ, DRAGAN | Научни чланак | 52M52 - Рад у истакнутом нац. часопису |
| 2011 | Izrada okruženja za testiranje paralelizovanog programa | Popović, Miroslav ; Lukić, Nemanja ; Bašičević, Ilija ; Đukić, Miodrag ; Nenad Četić; Marinković, Vladimir ; Vladimir Jovanović; Pavlović, Roman | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | Системска програмска подршка у реалном времену - 1 - Програмски алати и паралелно програмирање | Kovačević, Vladimir; Popović, Miroslav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2011 | Prototip infrastrukture za verifikaciju rešenja | Bašičević, Ilija ; POPOVIĆ, MIROSLAV ; ATLAGIĆ, BRANISLAV ; Jovanović, Marija ; Nenad Četić; Zejak, Aleksa ; Snežana Crnogorac-Jovanović; Pavle Kuzevski | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | Izrada alfa verzije paralelizovanog programa za procenu kvaliteta slike | Anđelković, Aleksandar ; Atlagić, Branislav ; Bašičević, Ilija ; Kovačević, Jelena ; Popović, Miroslav ; Lukić, Nemanja ; Radovan Obradović; Milenko Herget | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | Operational Profiles for Statistical Testing of Distribution Management System | Bašičević, Ilija ; Ilija Kuprešanin; POPOVIĆ, MIROSLAV | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2011 | OTKRIVANJE IDENTITETA KORISNIKA INTERNET - USLUGA POMOCU DRUSTVENIH MREZA | Jovanović, Nemanja; Považan, Ivan ; POPOVIĆ, MIROSLAV ; Bašičević, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Use of Finite State Machine Based Framework in Implementation of Communication Protocols – A Case Study | Bašičević, Ilija ; Popović, Miroslav ; Velikić, Ivan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | An Optimal Relationship-Based Partitioning of Large Datasets | Čapko, Darko ; Erdeljan, Aleksandar ; Popović, Miroslav ; Švenda, Goran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Softver za brzu pretragu podataka na mobilnim telefonima | Kovačević, Vladimir ; Jovanović Petar ; Marijan Dušica; Popović Miroslav ; Simić Dragan ; Pečkai-Kovač Robert ; Samardžija Dragan ; Bjelica Milan ; Novković Teodora ; Kuzmanović Nikola | Техничко решење | Мп категорија ће бити приказана накнадно. |