Zobrazeno 1 - 10
of 361
pro vyhledávání: '"WAGNER, CHRISTOPHER"'
Distributed agreement-based (DAB) systems use common distributed agreement protocols such as leader election and consensus as building blocks for their target functionality. While automated verification for DAB systems is undecidable in general, rece
Externí odkaz:
http://arxiv.org/abs/2208.12400
The ubiquity of distributed agreement protocols, such as consensus, has galvanized interest in verification of such protocols as well as applications built on top of them. The complexity and unboundedness of such systems, however, makes their verific
Externí odkaz:
http://arxiv.org/abs/2205.06322
Autor:
Wagner, Christopher C.1 (AUTHOR) chriscwagner@gmail.com
Publikováno v:
Sucht. apr2024, Vol. 70 Issue 2, p102-109. 8p.
Autor:
Bao, Yuyan, Sundararajah, Kirshanthan, Malik, Raghav, Ye, Qianchuan, Wagner, Christopher, Jaber, Nouraldin, Wang, Fei, Ameri, Mohammad Hassan, Lu, Donghang, Seto, Alexander, Delaware, Benjamin, Samanta, Roopsha, Kate, Aniket, Garman, Christina, Blocki, Jeremiah, Letourneau, Pierre-David, Meister, Benoit, Springer, Jonathan, Rompf, Tiark, Kulkarni, Milind
Cryptographic techniques have the potential to enable distrusting parties to collaborate in fundamentally new ways, but their practical implementation poses numerous challenges. An important class of such cryptographic techniques is known as Secure M
Externí odkaz:
http://arxiv.org/abs/2009.01489
The last decade has sparked several valiant efforts in deductive verification of distributed agreement protocols such as consensus and leader election. Oddly, there have been far fewer verification efforts that go beyond the core protocols and target
Externí odkaz:
http://arxiv.org/abs/2004.04613
Publikováno v:
Lecture Notes in Computer Science, vol 12224. Springer (2020)
Inspired by distributed applications that use consensus or other agreement protocols for global coordination, we define a new computational model for parameterized systems that is based on a general global synchronization primitive and allows for glo
Externí odkaz:
http://arxiv.org/abs/2004.04896
Autor:
Wagner, Christopher
The purpose of this study is to generate a regression model tying the vehicular emissions in Cochabamba, Bolivia to input factors including the current state of the public fleet, city population, weather, and GDP. The finished model and the process t
Autor:
Brennan, David A., Flamini, Matthew D., Posselt, Jared, Wagner, Christopher T., Beachley, Vince
Publikováno v:
In Materials Today Communications March 2023 34
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.