Zobrazeno 1 - 10
of 24
pro vyhledávání: '"David Cock"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 244, Iss Proc. MARS 2017, Pp 66-116 (2017)
The hardware/software boundary in modern heterogeneous multicore computers is increasingly complex, and diverse across different platforms. A single memory access by a core or DMA engine traverses multiple hardware translation and caching steps, and
Externí odkaz:
https://doaj.org/article/a8a4d81b006f4ec497ccb5a40fe225e4
Autor:
David Cock
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 102, Iss Proc. SSV 2012, Pp 167-178 (2012)
This paper presents a formalisation of pGCL in Isabelle/HOL. Using a shallow embedding, we demonstrate close integration with existing automation support. We demonstrate the facility with which the model can be extended to incorporate existing result
Externí odkaz:
https://doaj.org/article/dc4881cd536c43ca990a50c1b7bc114f
Autor:
David Cock, Abishek Ramdas, Daniel Schwyn, Michael Giardino, Adam Turowski, Zhenhao He, Nora Hossle, Dario Korolija, Melissa Licciardello, Kristina Martsenko, Reto Achermann, Gustavo Alonso, Timothy Roscoe
Publikováno v:
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::957a3388d8743da53f76c10acaa4fdc0
https://doi.org/10.1145/3503222.3507742
https://doi.org/10.1145/3503222.3507742
Autor:
Timothy Roscoe, Roni Haecki, Reto Achermann, Lukas Humbel, Nora Hossle, Daniel David Schwyn, David Cock
Publikováno v:
PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems
PLOS@SOSP
PLOS@SOSP
PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems
ISBN:978-1-4503-8707-1
ISBN:978-1-4503-8707-1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29371d870dd2b0dd5283dceb98022aa3
https://hdl.handle.net/20.500.11850/511171
https://hdl.handle.net/20.500.11850/511171
Autor:
David Cock, Reto Achermann, Roni Haecki, Daniel David Schwyn, Lukas Humbel, Timothy Roscoe, Nora Hossle
Publikováno v:
HotOS
Modern Systems-on-Chip (SoCs) are networks of heterogeneous cores, intelligent devices, and memory, connected through multiple configurable address translation and protection units like IOMMUs and System MMUs. Modern OS kernels like Linux are based o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abdd16915eac5bc9fb2c7a0b15654a3a
https://doi.org/10.1145/3458336.3465273
https://doi.org/10.1145/3458336.3465273
Autor:
Jasmin Schult, David Cock, Daniel David Schwyn, Timothy Roscoe, Michael Giardino, Reto Achermann
Publikováno v:
ACM Transactions on Embedded Computing Systems, 20 (5)
ACM Transactions on Embedded Computing Systems, 20 (5)
ISSN:1539-9087
ISSN:1558-3465
ISSN:1539-9087
ISSN:1558-3465
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a2da1019994e68760ec4d0438f84326
Autor:
Lukas Humbel, Michael Giardino, Roni Haecki, David Cock, Jan Schaer, Daniel David Schwyn, Timothy Roscoe, Melissa Licciardello, Nora Hossle
Publikováno v:
Model Checking Software ISBN: 9783030846282
SPIN
SPIN
I2C is a pervasive bus protocol used for querying sensors and actuators, but it is plagued with incompatible devices, violating the specification at various levels.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::133b383617e5f964aeadb15da2af466a
https://doi.org/10.1007/978-3-030-84629-9_10
https://doi.org/10.1007/978-3-030-84629-9_10
Publikováno v:
Journal of Cryptographic Engineering. 8:1-27
Microarchitectural timing channels expose hidden hardware states though timing. We survey recent attacks that exploit microarchitectural features in shared hardware, especially as they are relevant for cloud computing. We classify types of attacks ac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b1fa976b3ff7a6da7842a8e7e0c33f55
https://doi.org/10.1007/s13389-016-0141-6
https://doi.org/10.1007/s13389-016-0141-6
Publikováno v:
Interactive Theorem Proving ISBN: 9783319948201
ITP
ITP
Modern computing platforms are inherently complex and diverse: a heterogeneous collection of cores, interconnects, programmable memory translation units, and devices means that there is no single physical address space, and each core or DMA device ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b7068b6354697d7455ff7fdebb192416
https://doi.org/10.1007/978-3-319-94821-8_1
https://doi.org/10.1007/978-3-319-94821-8_1
Publikováno v:
PLOS@SOSP
In this paper we address the problem of correctly configuring interrupts. The interrupt subsystem of a computer is increasingly complex: a zoo of different controllers with varying constraints and capabilities form a network with limited connectivity
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c498c30166b14ed4cef162ea4e43147
https://doi.org/10.1145/3144555.3144557
https://doi.org/10.1145/3144555.3144557