×

Found 8 Documents (Results 1–8)

Detectable sequential specifications for recoverable shared objects. (English) Zbl 07774280

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 29, 19 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Toward linearizability testing for multi-word persistent synchronization primitives. (English) Zbl 07650869

Felber, Pascal (ed.) et al., 23rd international conference on principles of distributed systems, OPODIS 2019, Neuchâtel, Switzerland, December 17–19, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 153, Article 19, 17 p. (2020).
MSC:  68M14 68M20
PDFBibTeX XMLCite
Full Text: DOI

The recoverable consensus hierarchy. (English) Zbl 07298677

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 212-214 (2019).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Recoverable mutual exclusion under system-wide failures. (English) Zbl 1428.68070

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 17-26 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Recoverable mutual exclusion in sub-logarithmic time. (English) Zbl 1380.68051

Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 211-220 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Robust shared objects for non-volatile main memory. (English) Zbl 1380.68035

Anceaume, Emmanuelle (ed.) et al., 19th international conference on principles of distributed systems, OPODIS 2015, Rennes, France, December 14–17, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-98-9). LIPIcs – Leibniz International Proceedings in Informatics 46, Article 20, 17 p. (2016).
MSC:  68M14 68P05
PDFBibTeX XMLCite
Full Text: DOI

Recoverable mutual exclusion (extended abstract). (English) Zbl 1373.68177

Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 65-74 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software