Zobrazeno 1 - 10
of 126
pro vyhledávání: '"Peter Sewell"'
Publikováno v:
Critical Care Research and Practice, Vol 2023 (2023)
Introduction. Fungal infection is a cause of increased morbidity and mortality in intensive care patients. Critically unwell patients are at increased risk of developing invasive fungal infections. COVID-19 patients in the intensive care unit (ICU) m
Externí odkaz:
https://doaj.org/article/12009204c611461180e99713be0f9bc2
Autor:
Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, Jonathan Woodruff
Publikováno v:
IEEE Micro. 43:50-57
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::104852e0a3be1ea7a797c6fc9d76caba
https://doi.org/10.1109/mm.2023.3264676
https://doi.org/10.1109/mm.2023.3264676
Publikováno v:
Armstrong, A, Campbell, B, Simner, B, Pulte, C & Sewell, P 2023, ' Isla: Integrating full-scale ISA semantics and axiomatic concurrency models (extended version) ', Formal Methods in System Design . https://doi.org/10.1007/s10703-023-00409-y
Architecture specifications such as Armv8-A and RISC-V are the ultimate foundation for software verification and the correctness criteria for hardware verification. They should define the allowed sequential and relaxed-memory concurrency behaviour of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69b2e52e31ae585251c82019a5b3e9b7
https://doi.org/10.1007/s10703-023-00409-y
https://doi.org/10.1007/s10703-023-00409-y
Autor:
Robert N. M. Watson, Graeme Barnes, Jessica Clarke, Richard Grisenthwaite, Peter Sewell, Simon W. Moore, Jonathan Woodruff
Arm’s Morello prototype incorporates a first-generation CHERI-enabled Armv8-A CPU prototype. We have developed Morello to enable CHERI-based research by a growing community of researchers seeking access to potentially transformative architectural s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a55aaa14e48015cb740fb3ae1a71437
Autor:
Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, Neel Krishnaswami
Despite significant progress in the verification of hypervisors, operating systems, and compilers, and in verification tooling, there exists a wide gap between the approaches used in verification projects and conventional development of systems softw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eeda41dd0949a14392dffee52c205013
Autor:
Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, Neel Krishnaswami
This repository contains the formalisation of the CN type system: definitions (defns.pdf) and the soundness proof of type checking (soundness.pdf). The formalisation is by Dhruv Makwana.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e8e63c2d43cf33a95161136e7cba0cd
Autor:
Sarah Greenwood, Jonathan Thomas, Wendy Churchouse, Peter Sewell, Claire Bryant, Beth Griffiths, Ruth Harries
Publikováno v:
Journal of Prescribing Practice. 3:264-272
During the COVID-19 pandemic, health professionals, including non-medical prescribers, needed to assess and treat patients whilst minimising personal contact. This required the rapid implementation of remote consultations. Simultaneously, in health e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::83696615cef42eb6cbba50aee38d1d5c
https://doi.org/10.12968/jprp.2021.3.7.264
https://doi.org/10.12968/jprp.2021.3.7.264
Publikováno v:
ISO/IEC TC1/SC22/WG14, pp.131, 2022
ISO/IEC TC1/SC22/WG14, pp.89, 2020
HAL
ISO/IEC TC1/SC22/WG14, pp.89, 2020
HAL
Draft Technical Specification, proposed to the national bodies for standardization; International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::155b39c43bfff62194ecb0c45004bc14
https://inria.hal.science/hal-02957464
https://inria.hal.science/hal-02957464
Autor:
Christopher Pulte, Robert M. Norton, Ian Stark, Jon French, Alastair Reid, Shaked Flur, Alasdair Armstrong, Mark Wassell, Kathryn E. Gray, Peter Sewell, Neel Krishnaswami, Thomas Bauereiss, Brian Campbell, Prashanth Mundkur
Publikováno v:
Proceedings of the ACM on Programming Languages
Armstrong, A, Bauereiss, T, Campbell, B, Reid, A, Gray, K E, Norton, R M, Mundkur, P, Wassell, M, French, J, Pulte, C, Flur, S, Stark, I, Krishnaswami, N & Sewell, P 2019, ' ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS ', Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 71 . https://doi.org/10.1145/3290384
Armstrong, A, Bauereiss, T, Campbell, B, Reid, A, Gray, K E, Norton, R M, Mundkur, P, Wassell, M, French, J, Pulte, C, Flur, S, Stark, I, Krishnaswami, N & Sewell, P 2019, ' ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS ', Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 71 . https://doi.org/10.1145/3290384
Architecture specifications notionally define the fundamental interface between hardware and software: the envelope of allowed behaviour for processor implementations, and the basic assumptions for software development and verification. But in practi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b03d45b0127eedfeee57ea420de43824
https://doi.org/10.1145/3290384
https://doi.org/10.1145/3290384