Istraživači
Đukić, Miodrag
Tip
Godina
Mp-kat.
Godina - raspon
Rezultati 1-6 od 6
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2021 | Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze![]() | Popović, Marko | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2020 | Формална верификација софтверске трансакционе меморије засноване на временским аутоматима![]() | Кордић, Бранислав | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2020 | Модел бежичних акустичких сензора за командовање гласом у паметним кућама![]() | Четић, Ненад | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2019 | Предлог проширења мултимедијалног система у аутомобилу сервисима дигиталне телевизије![]() | Kovačević, Branimir | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2018 | Прилог аутоматској паралелизацији секвенцијалног машинског кода![]() | Marinković, Vladimir | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2017 | Естимација потрошње енергије вишејезгарних наменских апликација![]() | Krunić, Momčilo | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
