Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Sean Braithwaite"'
Autor:
Josef Widder, Igor Konnov, Sean Braithwaite, Ethan Buchman, Zarko Milosevic, Ilina Stoilkovska, Anca Zamfir
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles ISBN: 9783030613617
ISoLA (1)
ISoLA (1)
Blockchain synchronization is one of the core protocols of Tendermint blockchains. We describe our recent efforts on formal specification of the protocol and its implementation, and present model checking results for small parameters. We demonstrate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a7112815498a9c4c732260892b83305
https://doi.org/10.1007/978-3-030-61362-4_27
https://doi.org/10.1007/978-3-030-61362-4_27
Publikováno v:
EuroSys
We tackle the problem of reducing tail latencies in distributed key-value stores, such as the popular Cassandra database. We focus on workloads of multiget requests, which batch together access to several data elements and parallelize read operations
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6096acdceabbda7a4d5126dfe00c8bde
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-204646
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-204646
Publikováno v:
SIGCOMM
A common pattern in the architectures of modern interactive web-services is that of large request fan-outs, where even a single end-user request (task) arriving at an application server triggers tens to thousands of data accesses (sub-tasks) to diffe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9851bdbe65411e1b655ca8fa43d9c06e
https://doi.org/10.1145/2785956.2790023
https://doi.org/10.1145/2785956.2790023
