4 Hits in 7.4 sec

Efficient massively parallel methods for dynamic programming

Sungjin Im, Benjamin Moseley, Xiaorui Sun
2017 Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing - STOC 2017  
SIGMOD Record, 43(1):9– (OSDI 2004), San Francisco, California, USA, December 6-8, 2004, pages 137–150, 20, 2014. 2004.  ...  PhD thesis, Indiana SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS University, 1994.  ... 
doi:10.1145/3055399.3055460 dblp:conf/stoc/ImMS17 fatcat:gl3i27ozxbeuxj36iofd6l5e74

An Efficient and Robust Committee Structure for Sharding Blockchain [article]

Mengqian Zhang, Jichen Li, Zhaohua Chen, Hongyin Chen, Xiaotie Deng
2021 arXiv   pre-print
Under the design, we prove that malicious leaders will not hurt the system and will be evicted. Furthermore, we conduct a series of simulations to evaluate our design.  ...  In order to break the performance bottlenecks, we propose a reputation mechanism for selecting leaders. The term of reputation in our design reflects each node's honest computation resources.  ...  , as the reference committee/root chain needs to 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA. process cross-shard transactions sequentially.  ... 
arXiv:2112.15322v1 fatcat:uaqrt57nt5hhxm6lxl5zua4jmq

Using complexity to protect elections

Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra
2010 Communications of the ACM  
In Proceedings of the ACM SIGMOD International Conference on Management of Data, (June 1988), 109-116. 30. pinheiro, e., Weber, W.  ...  In Proceedings of the 22nd Annual international Symposium on Computer Architecture (s. margherita Ligure, Italy, June 22-24). acm press, new york, 1995, 392-403. 31. ungerer, t., robic, B., and Šilc  ...  The university has a strong commitment to the principles of diversity and inclusion, and to maintaining working and learning environments that are free of all forms of discrimination.  ... 
doi:10.1145/1839676.1839696 fatcat:hbqpm5boabe3jcpa4jcs7czf6y

Deep Learning for Computer Vision (Dagstuhl Seminar 17391) Body-Centric Computing (Dagstuhl Seminar 17392)

Jeremy Blackburn, Emiliano De Cristofaro, Michael Sirivianos, Thorsten Strufe, Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan, Ute Schmid, Stephen Muggleton, Rishabh Singh, Daniel Cremers (+7 others)
Abstract The rise of technology that can support the active human body -in contrast to the previously prevalent paradigm of interacting with computers while sitting still -such as wearables, quantified  ...  The goal is to address key questions around the use of sensor data to support both instrumental and experiential perspectives of the active human body and to jump-start collaborations between people from  ...  License of the Computer Aided Verification -27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II, Lecture Notes in Computer Science, Vol. 9207, pp  ...