E-LIB Suche - Ergebnisse für: Milosevic, Zarko

1

Crime and Punishment in Distributed Byzantine Decision Task:

, In: 2022 IEEE 42nd International Conference on Distributed Computing Systems (ICDCS),

Civit, Pierre ; Gilbert, Seth ; Gramoli, Vincent... - p. 34-44 , 2022

2

Revisiting Tendermint: Design Tradeoffs, Accountability, an..:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S),

Buchman, Ethan ; Guerraoui, Rachid ; Komatovic, Jovan... - p. 11-14 , 2022

Link: https://doi.org/10.1109/..

3

Gossip consensus:

, In: Proceedings of the 22nd International Middleware Conference,

Cason, Daniel ; Milosevic, Nenad ; Milosevic, Zarko. - p. 198-209 , 2021

Link: https://dl.acm.org/doi/1..

4

Tendermint Blockchain Synchronization: Formal Specification..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,

Braithwaite, Sean ; Buchman, Ethan ; Konnov, Igor... - p. 471-488 , 2020

Link: https://doi.org/10.1007/..

5

Atherosclerotic Plaque Formation in the Coronary Arteries:

, In: IFMBE Proceedings; CMBEBIH 2019,

Saveljic, Igor ; Nikolic, Dalibor ; Milosevic, Zarko. - p. 315-319 , 2019

Link: https://doi.org/10.1007/..

6

Simulation Analysis of Data Dissemination Algorithms in a B..:

, In: 2018 26th Telecommunications Forum (TELFOR),

Miletic, Luka ; Milosevic, Zarko ; Misic, Marko. - p. 1-4 , 2018

Link: https://doi.org/10.1109/..

7

Morphological and Biomechanical Features in Abdominal Aorti..:

Koncar, Igor B. ; Nikolic, Dalibor ; Milosevic, Zarko...
Annals of Vascular Surgery. 45 (2017) - p. 223-230 , 2017

Link: https://doi.org/10.1016/..

8

Computational modeling of shear forces and experimental val..:

Filipovic, Nenad ; Ghimire, Kedar ; Saveljic, Igor..
Computer Methods in Biomechanics and Biomedical Engineering. 19 (2015) 6 - p. 581-590 , 2015

Link: https://doi.org/10.1080/..

9

Tolerating permanent and transient value faults:

Milosevic, Zarko ; Hutle, Martin ; Schiper, André
Distributed Computing. 27 (2013) 1 - p. 55-77 , 2013

Link: https://doi.org/10.1007/..

10

Computer simulation of three-dimensional plaque formation a..:

Filipovic, Nenad ; Nikolic, Dalibor ; Saveljic, Igor...
Computers & Fluids. 88 (2013) - p. 826-833 , 2013

Link: https://doi.org/10.1016/..

11

Brief announcement : tolerating permanent and transient ..:

, In: Proceedings of the 2012 ACM symposium on Principles of distributed computing,

Milosevic, Zarko ; Hutle, Martin ; Schiper, André - p. 333-334 , 2012

Link: https://dl.acm.org/doi/1..

12

Student mini-kernel project based on an FPGA board:

Schiper, André ; Milosevic, Zarko ; Shahmirzadi, Omid
ACM SIGOPS Operating Systems Review. 45 (2011) 2 - p. 54-58 , 2011

Link: https://dl.acm.org/doi/1..

13

Student mini-kernel project based on an FPGA board:

Schiper, André ; Milosevic, Zarko ; Shahmirzadi, Omid
ACM SIGOPS Operating Systems Review. 45 (2011) 2 - p. 54-58 , 2011

Link: https://doi.org/10.1145/..

14

Intravascular flow fields shape intussusceptive pillars in ..:

Lee, Grace S. ; Filipovic, Nenad ; Milosevic, Zarko...
The FASEB Journal. 24 (2010) S1 - p. , 2010

Link: https://doi.org/10.1096/..

15

Securing every bit : authenticated broadcast in radio ne..:

, In: Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures,

Alistarh, Dan ; Gilbert, Seth ; Guerraoui, Rachid.. - p. 50-59 , 2010

Link: https://dl.acm.org/doi/1..