Výsledky vyhledávání

Akademický článek

Strong-coupling of WSe2 in ultra-compact plasmonic nanocavities at room temperature

Autor: Marie-Elena Kleemann, Rohit Chikkaraddy, Evgeny M. Alexeev, Dean Kos, Cloudy Carnegie, Will Deacon, Alex Casalis de Pury, Christoph Große, Bart de Nijs, Jan Mertens, Alexander I. Tartakovskii, Jeremy J. Baumberg

Publikováno v: Nature Communications, Vol 8, Iss 1, Pp 1-7 (2017)

Two-dimensional materials offer the prospect of excitonic devices operating at room-temperature. Here, Kleemann et al. demonstrate that by tuning the number of WSe2 layers in a nanoparticle-on-mirror geometry, room-temperature plasmon strong-coupling

Externí odkaz: https://doaj.org/article/7deee686aef04454a8f1456c02b2f3c4

Zobrazit plný text záznamu

Armed Cats

Autor: Richard Grisenthwaite, Luc Maranget, Will Deacon, Jade Alglave, Antoine Hacquard

Publikováno v: ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2021, 43, pp.1-54. ⟨10.1145/3458926⟩
ACM Transactions on Programming Languages and Systems (TOPLAS), 2021, 43, pp.1-54. ⟨10.1145/3458926⟩

We report on the process for formal concurrency modelling at Arm. An initial formal consistency model of the Arm achitecture, written in the cat language, was published and upstreamed to the herd+diy tool suite in 2017. Since then, we have extended t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5bfcc66ef27e302ae8306c30588f64fe
https://doi.org/10.1145/3458926

Zobrazit plný text záznamu

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8

Autor: Christopher Pulte, Shaked Flur, Peter Sewell, Will Deacon, Susmit Sarkar, Jon French

Publikováno v: Proceedings of the ACM on Programming Languages. 2:1-29

ARM has a relaxed memory model, previously specified in informal prose for ARMv7 and ARMv8. Over time, and partly due to work building formal semantics for ARM concurrency, it has become clear that some of the complexity of the model is not justified

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0e74f5947fa0fafc570661ceac2fd33
https://doi.org/10.1145/3158107

Zobrazit plný text záznamu

Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA

Autor: Kathryn E. Gray, Christopher Pulte, Ali Sezgin, Peter Sewell, Luc Maranget, Will Deacon, Susmit Sarkar, Shaked Flur

Publikováno v: Principles of Programming Languages 2016 (POPL 2016)
Principles of Programming Languages 2016 (POPL 2016), Jan 2016, Saint Petersburg, United States
POPL

This work was partly funded by the EPSRC Programme Grant REMS: Rigorous Engineering for Mainstream Systems, EP/K008528/1, the Scottish Funding Council (SICSA Early Career Industry Fellowship, Sarkar), an ARM iCASE award (Pulte), and ANR grant WMC (AN

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ff47d827ee18455402b0595f5a65e4c
https://hal.inria.fr/hal-01244776

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání