Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Lukas Humbel"'
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
Publikováno v:
Journal of Systems Research. 2
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::815dd0105acd9d65692ac9180db7551c
https://doi.org/10.5070/sr32158113
https://doi.org/10.5070/sr32158113
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:
Reto Achermann, Alexander Richardson, Paolo Faraboschi, Lukas Humbel, Dejan Milojicic, Timothy Roscoe, Moritz Hoffmann, Leonid Azriel, Robert N. M. Watson, Avi Mendelson
Publikováno v:
ACM Transactions on Architecture and Code Optimization. 16:1-26
Byte-addressable nonvolatile memory (NVM) blends the concepts of storage and memory and can radically improve data-centric applications, from in-memory databases to graph processing. By enabling large-capacity devices to be shared across multiple com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bc09b4b62af0c26c43385941e6156d5f
https://doi.org/10.1145/3302257
https://doi.org/10.1145/3302257
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:
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