Istraživači
Popović, Miroslav
Rezultati 161-180 od 209
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2011 | An Approach to Formal Verification of Embedded Software | Bašičević, Ilija   ; Popović, Miroslav | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Системска програмска подршка у реалном времену - 2 - Оперативни системи за рад у реалном времену | Kovačević, Vladimir; Popović, Miroslav | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2011 | Merenje kvalitativnih karakteristika asemblerskog koda na namenskim platformama | Považan, Ivan ; Popović, Miroslav ; Đukić, Miodrag ; Krnjetin, Marko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | EPS Elektroprivreda | Čokić, Mita ; Popović, Miroslav ; Popović, Dragan | Научни чланак | 52M52 - Национални часопис категорије M52 |
| 2011 | Formal verification of embedded software based on software compliance properties and explicit use of time | Bašičević, Ilija ; Popović, Miroslav | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2011 | Operational Profiles for Statistical Testing of Distribution Management System | Bašičević, Ilija ; Kuprešanin, Ilija; Popović, Miroslav | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 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 ; Obradović, Radovan; Herget, Milenko | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | Prototip infrastrukture za verifikaciju rešenja | Bašičević, Ilija ; Popović, Miroslav ; Atlagić, Branislav ; Jovanović, Marija ; Četić, Nenad ; Zejak, Aleksa ; Crnogorac-Jovanović, Snežana; Kuzevski, Pavle | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | Otkrivanje identiteta korisnika internet - usluga pomoću društvenih mreža | Jovanović, Nemanja; Považan, Ivan ; Popović, Miroslav ; Bašičević, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Formal Verification of Distributed Transaction Management in a SOA Based Control System | Popović, Ivana; Vrtunski, Vladislav; Popović, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Jedno rešenje širenja pretrage prostora odluka u programskom prevodiocu | Spasojević, Boris; Đukić, Miodrag ; Zarić, Zoran; Krunić, Momčilo ; Popović, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | An Approach to Parallelization of Sequential C Code | Vranić, Nikola; Marinković, Vladimir ; Đukić, Miodrag ; 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 ; Kuzmanović, Nikola; Novković, Teodora | Technical reports | Mp. category will be shown later |
| 2011 | RAZMENA PODATAKA U ELEKTROENERGETSKIM SISTEMIMA ZASNOVANA NA CIM MODELU I SERVISNO ORIJENTISANOJ ARHITEKTURI | Nenad Mučalov; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2011 | Jedno rešenje komunikacione sprege i okvira za distribuiranu obradu elektroenergetskih funkcija | Radin, Nikola; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2011 | Системска програмска подршка у реалном времену - 1 - Програмски алати и паралелно програмирање | Kovačević, Vladimir; Popović, Miroslav | Text book | Mp. category will be shown later |
| 2011 | An Optimal Initial Partitioning of Large Data Model in Utility Management Systems | Čapko, Darko ; Erdeljan, Aleksandar ; Popović, Miroslav ; Švenda, Goran | Article | 22M22 |
| 2011 | Izrada okruženja za testiranje paralelizovanog programa | Popović, Miroslav ; Lukić, Nemanja ; Bašičević, Ilija ; Đukić, Miodrag ; Četić, Nenad ; Marinković, Vladimir ; Jovanović, Vladimir; Pavlović, Roman | Technical reports | Mp. category will be shown later |
| 2010 | Use of Finite State Machine Based Framework in Implementation of Communication Protocols – A Case Study | Bašičević, Ilija ; Popović, Miroslav ; Velikić, Ivan | Conference Paper | Mp. category will be shown later |
| 2010 | Visekanalni digitalni audio snimac - VDAS | Očovaj, Stanislav ; Bjelica, Milan ; Simić, Dragan; Peković, Vukota ; Jurca, Željko; Popović, Miroslav ; Lukač, Željko ; Radin, Boris | Tehničko rešenje | Mp kategorija će biti prikazana naknadno. |