Researchers
Popović, Miroslav
Results 161-180 of 209
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2011 | An Approach to Parallelization of Sequential C Code![]() | Vranić, Nikola; Marinković, Vladimir | Conference Paper | Mp. category will be shown later |
| 2011 | Jedno rešenje širenja pretrage prostora odluka u programskom prevodiocu![]() | Spasojević, Boris; Đukić, Miodrag | Conference Paper | Mp. category will be shown later |
| 2011 | Formal Verification of Distributed Transaction Management in a SOA Based Control System![]() | Popović, Ivana; Vrtunski, Vladislav; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2011 | Merenje kvalitativnih karakteristika asemblerskog koda na namenskim platformama![]() | Považan, Ivan | Conference Paper | Mp. category will be shown later |
| 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 | Системска програмска подршка у реалном времену - 2 - Оперативни системи за рад у реалном времену![]() | Kovačević, Vladimir; Popović, Miroslav | Text book | Mp. category will be shown later |
| 2011 | An Approach to Formal Verification of Embedded Software![]() | Bašičević, Ilija | Conference Paper | Mp. category will be shown later |
| 2011 | Jedno rešenje distribuirane topološke analize za rad u realnom vremenu![]() | Popović, Nemanja; Popović, Miroslav | Article | Mp. category will be shown later |
| 2011 | Prototip infrastrukture za verifikaciju rešenja![]() | Bašičević, Ilija | Technical reports | Mp. category will be shown later |
| 2011 | Operational Profiles for Statistical Testing of Distribution Management System![]() | Bašičević, Ilija | Article | Mp. category will be shown later |
| 2011 | Otkrivanje identiteta korisnika internet - usluga pomoću društvenih mreža![]() | Jovanović, Nemanja; Považan, Ivan | Conference Paper | Mp. category will be shown later |
| 2011 | Izrada alfa verzije paralelizovanog programa za procenu kvaliteta slike![]() | Anđelković, Aleksandar | Technical reports | Mp. category will be shown later |
| 2011 | EPS Elektroprivreda![]() | Čokić, Mita | Article | 52M52 |
| 2011 | Formal verification of embedded software based on software compliance properties and explicit use of time![]() | Bašičević, Ilija | Article | Mp. category will be shown later |
| 2011 | Системска програмска подршка у реалном времену - 1 - Програмски алати и паралелно програмирање![]() | Kovačević, Vladimir; Popović, Miroslav | Text book | 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 | Izrada okruženja za testiranje paralelizovanog programa![]() | Popović, Miroslav | Technical reports | Mp. category will be shown later |
| 2011 | An Optimal Initial Partitioning of Large Data Model in Utility Management Systems![]() | Čapko, Darko | Article | 22M22 |
| 2010 | Softver za brzu pretragu podataka na mobilnim telefonima![]() | Kovačević, Vladimir | Technical reports | Mp. category will be shown later |
| 2010 | An Optimal Relationship-Based Partitioning of Large Datasets![]() | Čapko, Darko | Conference Paper | Mp. category will be shown later |
