Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Anil Madhavapeddy"'
Autor:
E-Ping Rau, James Gross, David Anthony Coomes, Thomas Swinfield, Anil Madhavapeddy, Andrew Balmford, Srinivasan Keshav
Publikováno v:
Carbon Management, Vol 15, Iss 1 (2024)
Nature-based climate solutions supply carbon credits generated from net carbon drawdown in exchange for project funding, but their credibility is challenged by the inherent variability and impermanence of drawdown. By evaluating drawdown benefits fro
Externí odkaz:
https://doaj.org/article/34cf7340018442c78a16cb4b631a9ee4
Autor:
Andrew Balmford, Srinivasan Keshav, Frank Venmans, David Coomes, Ben Groom, Anil Madhavapeddy, Thomas Swinfield
Efforts to avert dangerous climate change by conserving and restoring natural habitats are hampered by widespread concerns over the credibility of methods used to quantify their net long-term benefits. We develop a novel, flexible framework for estim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4618ea2b518514efb3e631c75eace9e6
https://doi.org/10.33774/coe-2023-5v93l-v2
https://doi.org/10.33774/coe-2023-5v93l-v2
Autor:
Andrew Balmford, Srinivasan Keshav, Frank Venmans, David Coomes, Ben Groom, Anil Madhavapeddy, Thomas Swinfield
A new framework linking economics with remote-sensing means impermanent carbon reduction can be directly compared with permanent drawdown.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a8e010be7c1ea6bae65b9eea81205a7
https://doi.org/10.33774/coe-2023-5v93l
https://doi.org/10.33774/coe-2023-5v93l
Autor:
Anil Madhavapeddy, Yaron Minsky
This fast-moving tutorial introduces you to OCaml, an industrial-strength programming language designed for expressiveness, safety, and speed. Through the book's many examples, you'll quickly learn how OCaml stands out as a tool for writing fast, suc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e8965d0db17edc0d824c857a1b705f7
https://doi.org/10.1017/9781009129220
https://doi.org/10.1017/9781009129220
Publikováno v:
PLDI
Effect handlers have been gathering momentum as a mechanism for modular programming with user-defined effects. Effect handlers allow for non-local control flow mechanisms such as generators, async/await, lightweight threads and coroutines to be compo
Autor:
Anil Madhavapeddy, Sudha Parimala, Sadiq Jaffer, Tom Kelly, Stephen K. Dolan, Atul Dhiman, KC Sivaramakrishnan, Leo White, Anmol Sahoo
OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and academia. OCaml is also one of the few modern managed system programming languages to lack support for shared memory parallel programming. This paper de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b3aaaf84bcfe7734dbec16e8d1e7db9
Publikováno v:
Programming Languages and Systems ISBN: 9783030644369
APLAS
APLAS
Programming loosely connected distributed applications is a challenging endeavour. Loosely connected distributed applications such as geo-distributed stores and intermittently reachable IoT devices cannot afford to coordinate among all of the replica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3fbef5814ba77ab6f175bd3b6fd18b52
https://doi.org/10.1007/978-3-030-64437-6_12
https://doi.org/10.1007/978-3-030-64437-6_12
Publikováno v:
PLDI
We propose a new semantics for shared-memory parallel programs that gives strong guarantees even in the presence of data races. Our local data race freedom property guarantees that all data-race-free portions of programs exhibit sequential semantics.
The Paxos algorithm is famously difficult to reason about and even more so to implement, despite having been synonymous with distributed consensus for over a decade. The recently proposed Raft protocol lays claim to being a new, understandable consen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8c37b596a7537ed842ec1927ce2c0c84
Publikováno v:
INFOCOM Workshops
Digital infrastructure in modern urban environments is currently very Internet-centric, and involves transmitting data to physically remote environments. The cost for this is data insecurity, high response latency and unpredictable reliability of ser
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e8ffc6f5cafbfef55a7cf31e035220b