Researchers

Results 21-40 of 209
Issue DateTitleAuthor(s)TypeМp-cat.
2021Paralelno programiranjePopović, Miroslav  ; Kovačević, Vladimir  Text book
Mp. category will be shown later
2021Fast Scheduling in Distributed Transactional MemoryBusch, Costas; Herlihy, Maurice; Popović, Miroslav  ; Sharma, GokarnaArticle
22M22
2021Osnove računarskih mreža 1Bašičević, Ilija  ; Popović, Miroslav  ; Kovačević, Vladimir  Text book
Mp. category will be shown later
2021Analysis of virtio GPU in a containerized environmentBogdanovic, Dejan; Popovic, Miroslav  ; Usorac, SrdjanConference Paper
Mp. category will be shown later
2021Formal Verification of Distributed Master-Slave Finite State MachinePopović, Marko; Marinković, Vladimir  ; Đukić, Miodrag  ; Popović, Miroslav  Conference Paper
Mp. category will be shown later
2020Fault Tolerant Distributed Python Software Transactional MemoryPopovic, Marko M; Basicevic, Ilija V  ; Djukic, Miodrag M  ; Popovic, Miroslav V  Article
22M22
2020Vehicle Detection in the Autonomous Vehicle Environment for Potential Collision WarningGluhakovic, Mario; Herceg, Marijan; Popovic, Miroslav V  ; Kovacevic, Jelena V  Conference Paper
Mp. category will be shown later
2020Formal analysis and verification of the PSTM architecture using CSPLiu, Ailun; Zhu, Huibiao; Popović, Miroslav  ; Xiang, Shuangqing; Zhang, LeiArticle
21M21
2020One Solution of DVB Software Demultiplexer Adaptation for Timestamped Transport StreamBanović, Radenko; Bašičević, Ilija; Popović, Miroslav  ; Fimić, NemanjaConference Paper
Mp. category will be shown later
2020Modernized Courses in Automotive Software EngineeringKastelan, Ivan  ; Pavkovic, Bogdan  ; Vranjes, Mario; Popovic, Miroslav  Conference Paper
Mp. category will be shown later
2019Modernizacija laboratorija za inovativne tehnologijeKaštelan, Ivan A.  ; Pavković, Bogdan  ; Popović, Miroslav  ; Vranješ, MarioConference Paper
Mp. category will be shown later
2019Personalizovan i distribuirani sistem za podršku odlučivanju u bolničkim informacionim sistemimaVelikić, Gordana; Kukolj, Dragan D.  ; Simić, Đorđe; Popović, Miroslav V  Technical reports
Mp. category will be shown later
2019Formal Verification of Local and Distributed Python Software Transactional MemoriesPopović, Marko; Popović, Miroslav  ; Gilezan, Silvia K.  ; KORDIĆ, BRANISLAV A.  Article
22M22
2019A Solution of Python Distributed STM Based on Data ReplicationPopović, Marko  ; Popović, Miroslav  ; Kordić, Branislav  ; Bašičević, Ilija  Conference Paper
Mp. category will be shown later
2019A Protein Structure Prediction Program Architecture Based on a Software Transactional MemoryKordić, Branislav  ; Popovic, Marko; Popovic, Miroslav  ; Goldstein, Moshe; Amitay, Moshe; Dayan, DavidConference Paper
Mp. category will be shown later
2019Osnove distribuiranih sistema u realnom vremenuPopović, Miroslav  Text book
Mp. category will be shown later
2019A practical approach to detection of distributed denial-of-service attacks using a hybrid detection methodBojović, Petar  ; Bašičević, Ilija  ; Ocovaj, S.; Popović, Miroslav  Article
21M21
2019One method for hybrid playback and recording of digital TV channels on embedded devicesVranic, Nikola ; Popović, Miroslav  Conference Paper
Mp. category will be shown later
2019Formal verification of python software transactional memory serializability based on the push/pull semantic modelPopovic, Miroslav  ; Popovic, Marko; Gilezan, Silvia  ; Kordić, Branislav  Conference Paper
Mp. category will be shown later
2019Agile Method and ROS in Automotive Software development processes, practice, and teachingKrunić, Momčilo  ; Krunić, Vlado; Stankić, Milan; Popović, Miroslav V.  Conference Paper
Mp. category will be shown later