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
Invariant confluence provides a formal framework for understanding when we can get the best of both worlds. ... CPR provides the same consistency as a point-in-time commit, but allows a scalable concurrent implementation. ... The content is solely the responsibility of the authors and does not necessarily represent the official views of the NIH. We thank NVIDIA Corporation for donating the Titan Xp GPU used for this work. ...doi:10.1145/3316416.3316418 fatcat:u4lmbha4fjgajlc46r66ryh7vi
Nowadays, sharding is deemed as a promising way to save traditional blockchain protocols from their low scalability. ... The results show that selecting leaders by the reputation can dramatically improve the system performance. ... Ooi, “Towards scaling blockchain systems via sharding,” in Proceedings of the 2019 International Conference on Management of Data, SIGMOD Conference 2019, Amsterdam, The Netherlands, June ...arXiv:2112.15322v1 fatcat:uaqrt57nt5hhxm6lxl5zua4jmq
Notwithstanding the limited exploration of stopping during search, the phenomenon is central to the study of Information Retrieval, playing a role in the models and measures that we employ. ... As part of our contribution, we also propose the Complex Searcher Model, a high-level conceptual searcher model that encodes stopping behaviours at different points throughout the search process. ... Home · Conferences · Past Conferences; 50th Annual Melbourne 2015. 2015 ASID... The 2015 ACM SIGMOD/PODS Conference... www.sigmod2015.org/ Welcome to the home of the 2015 ACM SIGMOD/PODS... ...doi:10.5525/gla.thesis.41132 fatcat:5igaggni6rcgdjvczsrhqa5l5y
The unique scientific atmosphere and the historic building provided not only all the room we needed for our program and the working groups, but also plenty of opportunities for continued discussions and ... We reviewed the most important results from the seminal paper on the parametrized complexity of 1-planarity by Bannister, Cabello and Eppstein . ... In Thomas Neumann and Ken Salem, editors, Proceedings of the 15th International Workshop on Data Management on New Hardware, DaMoN 2019, Amsterdam, The Netherlands, 1 July 2019, pages 12:1-12:7. ...doi:10.4230/dagrep.11.6 fatcat:4ojdxh5mknhx5op4bxxc7ypgna
ACM SIGMOD 2019, Amsterdam, Netherlands Technical Report:  Ankur Sharma, Felix Martin Schuhknecht, Jens Dittrich, Divya Agrawal. ... ACM SIGMOD 2018, Houston Tx, USA. 1.2. Contribution 9 Technical Report:  Ankur Sharma, Felix Martin Schuhknecht, Jens Dittrich. ... Appendix A AnKer's System Call Implementation We have attached the patchfile  for the Linux kernel v4.16 for interested readers. ...doi:10.22028/d291-31117 fatcat:x54iscaepfayblytjdjszmne6a