Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Roni Haecki"'
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:
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
Autor:
Alfons Laarman, Ana Sokolova
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were care