BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Singapore
Collaborated with:
C.Sprenger C.S.0001 D.A.Basin
Talks about:
consensus (1) algorithm (1) transact (1) restart (1) hardwar (1) memori (1) failur (1) cutoff (1) verif (1) under (1)

Person: Ognjen Maric

DBLP DBLP: Maric:Ognjen

Contributed to:

FM 20142014
CAV (2) 20172017

Wrote 2 papers:

FM-2014-MaricS #hardware #memory management #transaction #verification
Verification of a Transactional Memory Manager under Hardware Failures and Restarts (OM, CS), pp. 449–464.
CAV-2017-MaricSB #algorithm #bound
Cutoff Bounds for Consensus Algorithms (OM, CS0, DAB), pp. 217–237.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.