A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Invalidation-Based Protocols for Replicated Datastores
[article]
2021
arXiv
pre-print
Preserved Fulltext
In Proceedings of the 7th USENIX Symposium on Operating
Systems Design and Implementation - Volume 7, OSDI ’06, pages 24–24,
USA, 2006. ...
In 11th USENIX Symposium on
Networked Systems Design and Implementation, NSDI ’14, pages 401–
414, Seattle, WA, 2014. USENIX Association. ...
arXiv:2112.02405v1
fatcat:toi3wflouvbzngpdfzypw3l4li
Scalable and Probabilistic Leaderless BFT Consensus through Metastability
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In 7th Symposium on Operating Systems Design and Implementation (OSDI'06), November 6-8, Seattle, WA, USA (2006), pp. Practical byzantine fault tolerance. ...
In Proceedings of the 7th symposium on Operating systems design and implementation (2006), USENIX Association, pp. decentralized blockchains -(a position paper). ...
arXiv:1906.08936v2
fatcat:bj4nqc27qvh3nlk6nifhel5x5q
Invalidation-based protocols for replicated datastores
[article]
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In Proceedings of the 7th USENIX Symposium on Operating
Systems Design and Implementation - Volume 7, OSDI ’06, pages 24–24,
USA, 2006. USENIX Association. ...
In 11th USENIX Symposium
on Networked Systems Design and Implementation, NSDI ’14, pages
401–414, Seattle, WA, 2014. USENIX Association. ...
doi:10.7488/era/1639
fatcat:snjzrhkqqnc7dpsfe4gzaskhqa
A Practical Approach to Interval Refinement for math.h/cmath Functions
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
, WA, USA, June 20-22, 2013. ...
Michel, Exact projection functions for floating point number constraints,
Proceedings of the 7th International Symposium on Artificial Intelligence
and Mathematics (Fort Lauderdale, FL, USA), Rutgers ...
This is the lower bound of the rightmost branch of this sub-interval (note that i.k u was previously set to the corresponding value). ...
arXiv:1610.07390v3
fatcat:ndehml6ennafbjddty5cv57quq
Linear Scalability of Distributed Applications
2011
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In Proc. of the Symposium on Operat-
ing Systems Design and Implementation, Seattle, Washington, 2006.
[72] B-G. Chun, F. Dabek, A. Haeberlen, E. Sit, H. Weatherspoon, M. ...
In Proc. of
the WWW, pages 357–366, New York, NY, USA, 2006.
[140] R. Sandberg, D. Goldberg, S. Kleiman, D. Walsh, and B. Lyon. ...
doi:10.5075/epfl-thesis-5278
fatcat:cqwluzkzojgozb362zlaxt3z4e
Dagstuhl Reports, Volume 7, Issue 5, May 2017, Complete Issue
[article]
2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Acknowledgements This work was supported by RFBR according to the research project No. 16-31-00380 mol_a. Acknowledgements. ...
Proposed approaches in literature to include security in untrusted environments include Secure containers (SCONE, OSDI 2016), limited kernel mediation via Arrakis (OSDI 2014), file systems for SCM (Aerie ...
Grandine (The Boeing Company -Seattle, US)
License Creative Commons BY 3.0 Unported license © Thomas A. ...
doi:10.4230/dagrep.7.5
fatcat:ipv6ltpp6ngejao35zzoqko2ry