Zobrazeno 1 - 10
of 58
pro vyhledávání: '"Manuel M. T. Chakravarty"'
Autor:
Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias, Michael Peyton Jones, Polina Vinogradova
Publikováno v:
Applied Cryptography and Network Security ISBN: 9783031092336
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df995c0d8650a9376f14269996258ccd
https://doi.org/10.1007/978-3-031-09234-3_35
https://doi.org/10.1007/978-3-031-09234-3_35
Autor:
Alexander Russell, Matthias Fitzi, Aggelos Kiayias, Sandro Coretti, Manuel M. T. Chakravarty, Philipp Kant, Peter Gaži
Publikováno v:
Financial Cryptography and Data Security ISBN: 9783662643303
Financial Cryptography (2)
Financial Cryptography (2)
State channels are an attractive layer-two solution for improving the throughput and latency of blockchains. They offer optimistic offchain settlement of payments and expedient offchain evolution of smart contracts between multiple parties without an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a10bf338940cc5e281d70072a7ae474f
https://doi.org/10.1007/978-3-662-64331-0_18
https://doi.org/10.1007/978-3-662-64331-0_18
Autor:
Kenneth MacKenzie, Polina Vinogradova, Jann Müller, Philip Wadler, Orestis Melkonian, James Chapman, Manuel M. T. Chakravarty, Michael Peyton Jones
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030614669
ISoLA (3)
ISoLA (3)
User-defined tokens—both fungible ERC-20 and non-fungible ERC-721 tokens—are central to the majority of contracts deployed on Ethereum. User-defined tokens are non-native on Ethereum; i.e., they are not directly supported by the ledger, but requi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::13b1ad2873d3cc0fc16f48a4c55f050c
https://doi.org/10.1007/978-3-030-61467-6_7
https://doi.org/10.1007/978-3-030-61467-6_7
Autor:
Michael Peyton Jones, Orestis Melkonian, Manuel M. T. Chakravarty, Kenneth MacKenzie, Philip Wadler, James Chapman
Publikováno v:
Financial Cryptography and Data Security ISBN: 9783030544546
Financial Cryptography Workshops
Financial Cryptography Workshops
Bitcoin and Ethereum, hosting the two currently most valuable and popular cryptocurrencies, use two rather different ledger models, known as the UTXO model and the account model, respectively. At the same time, these two public blockchains differ str
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44cb3c1b0311c876a5ea118d3c41648c
https://doi.org/10.1007/978-3-030-54455-3_37
https://doi.org/10.1007/978-3-030-54455-3_37
Publikováno v:
Haskell
Haskell 2017 Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017, 174. Association for Computing Machinery
STARTPAGE=174;TITLE=Haskell 2017 Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017
Haskell 2017 Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017, 174. Association for Computing Machinery
STARTPAGE=174;TITLE=Haskell 2017 Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017
Previous work has demonstrated that it is possible to generate efficient and highly parallel code for multicore CPUs and GPUs from combinator-based array languages for a range of applications. That work, however, has been limited to operating on flat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b432659aaaae708e2249a562d4800279
https://dspace.library.uu.nl/handle/1874/373722
https://dspace.library.uu.nl/handle/1874/373722
Publikováno v:
ACM SIGPLAN Notices. 47:37-48
Flattening nested parallelism is a vectorising code transform that converts irregular nested parallelism into flat data parallelism. Although the result has good asymptotic performance, flattening thoroughly restructures the code. Many intermediate d
Publikováno v:
ICFP
Existing approaches to higher-order vectorisation , also known as flattening nested data parallelism , do not preserve the asymptotic work complexity of the source program. Straightforward examples, such as sparse matrix-vector multiplication, can su
Autor:
Manuel M. T. Chakravarty
Publikováno v:
Communications of the ACM. 61:105-105
Autor:
Don Stewart, Gabriele Keller, Hugh Chaffey-Millar, Christopher Barner-Kowollik, Manuel M. T. Chakravarty
Publikováno v:
Macromolecular Theory and Simulations. 16:575-592
A novel, parallelised approach to Monte Carlo simulations for the computation of full molecular weight distributions (MWDs) arising from complex polymerisation reactions is presented. The parallel Monte Carlo method constitutes perhaps the most compr
Publikováno v:
POPL
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of data abstraction. Type classes emphasize implicit program construction