Filters








6 Hits in 6.0 sec

Invalidation-Based Protocols for Replicated Datastores [article]

Antonios Katsarakis
2021 arXiv   pre-print
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]

Team Rocket, Maofan Yin, Kevin Sekniqi, Robbert van Renesse, Emin Gün Sirer
2020 arXiv   pre-print
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]

Antonis Katsarakis, University Of Edinburgh, Boris Grot, Vijayanand Nagarajan, Rik Sarkar
2021
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]

Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara
2020 arXiv   pre-print
, 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

Nicolas Bonvin
2011
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
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