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   ; Đukić, Miodrag ; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2011 | Jedno rešenje širenja pretrage prostora odluka u programskom prevodiocu | Spasojević, Boris; Đukić, Miodrag ; Zarić, Zoran; Krunić, Momčilo ; Popović, Miroslav | 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 ; Popović, Miroslav ; Đukić, Miodrag ; Krnjetin, Marko | 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 ; 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 | Системска програмска подршка у реалном времену - 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 ; Popović, Miroslav | 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 ; Popović, Miroslav ; Atlagić, Branislav ; Jovanović, Marija ; Četić, Nenad ; Zejak, Aleksa ; Crnogorac-Jovanović, Snežana; Kuzevski, Pavle | Technical reports | Mp. category will be shown later |
| 2011 | Operational Profiles for Statistical Testing of Distribution Management System | Bašičević, Ilija ; Kuprešanin, Ilija; Popović, Miroslav | Article | Mp. category will be shown later |
| 2011 | Otkrivanje identiteta korisnika internet - usluga pomoću društvenih mreža | Jovanović, Nemanja; Považan, Ivan ; Popović, Miroslav ; Bašičević, Ilija | Conference Paper | Mp. category will be shown later |
| 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 | Technical reports | Mp. category will be shown later |
| 2011 | EPS Elektroprivreda | Čokić, Mita ; Popović, Miroslav ; Popović, Dragan | Article | 52M52 |
| 2011 | Formal verification of embedded software based on software compliance properties and explicit use of time | Bašičević, Ilija ; Popović, Miroslav | 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 ; Lukić, Nemanja ; Bašičević, Ilija ; Đukić, Miodrag ; Četić, Nenad ; Marinković, Vladimir ; Jovanović, Vladimir; Pavlović, Roman | Technical reports | 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 |
| 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 | Technical reports | Mp. category will be shown later |
| 2010 | An Optimal Relationship-Based Partitioning of Large Datasets | Čapko, Darko ; Erdeljan, Aleksandar ; Popović, Miroslav ; Švenda, Goran | Conference Paper | Mp. category will be shown later |