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 | 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | EPS Elektroprivreda![]() | Čokić, Mita | Научни чланак | 52M52 - Национални часопис категорије M52 |
| 2011 | Formal verification of embedded software based on software compliance properties and explicit use of time![]() | Bašičević, Ilija | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2011 | Operational Profiles for Statistical Testing of Distribution Management System![]() | Bašičević, Ilija | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2011 | Izrada alfa verzije paralelizovanog programa za procenu kvaliteta slike![]() | Anđelković, Aleksandar | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | Prototip infrastrukture za verifikaciju rešenja![]() | Bašičević, Ilija | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | Otkrivanje identiteta korisnika internet - usluga pomoću društvenih mreža![]() | Jovanović, Nemanja; Považan, Ivan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | An Approach to Parallelization of Sequential C Code![]() | Vranić, Nikola; Marinković, Vladimir | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Sistem za govornu komunikaciju povezivanjem javne telefonske mreze (PSTN) ili telefonskog aparata sa Internetom (VoIP)![]() | Bašičević, Ilija | 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 | Article | 22M22 |
| 2011 | Izrada okruženja za testiranje paralelizovanog programa![]() | Popović, Miroslav | 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 | Conference Paper | Mp. category will be shown later |
| 2010 | Visekanalni digitalni audio snimac - VDAS![]() | Očovaj, Stanislav | Tehničko rešenje | Mp kategorija će biti prikazana naknadno. |
