المؤلفون: 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

المصدر: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::957a3388d8743da53f76c10acaa4fdc0
https://doi.org/10.1145/3503222.3507742

المؤلفون: Timothy Roscoe, Roni Haecki, Reto Achermann, Lukas Humbel, Nora Hossle, Daniel David Schwyn, David Cock

المصدر: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems
PLOS@SOSP

مصطلحات موضوعية: Firmware, Computer science, business.industry, Hardware description language, computer.software_genre, Data structure, Memory map, Allocator, Compiler, business, Page table, computer, Computer hardware, computer.programming_language, System software

وصف الملف: application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29371d870dd2b0dd5283dceb98022aa3
https://hdl.handle.net/20.500.11850/511171

المؤلفون: David Cock, Reto Achermann, Roni Haecki, Daniel David Schwyn, Lukas Humbel, Timothy Roscoe, Nora Hossle

المصدر: HotOS

مصطلحات موضوعية: Unix, File system, Computer science, business.industry, File descriptor, Access control, computer.software_genre, Memory address, Memory management, Operating system, Overhead (computing), business, computer, Memory protection

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::abdd16915eac5bc9fb2c7a0b15654a3a
https://doi.org/10.1145/3458336.3465273

المؤلفون: Lukas Humbel, Michael Giardino, Roni Haecki, David Cock, Jan Schaer, Daniel David Schwyn, Timothy Roscoe, Melissa Licciardello, Nora Hossle

المصدر: Model Checking Software ISBN: 9783030846282
SPIN

مصطلحات موضوعية: Model checking, Digital subscriber line, Computer science, business.industry, Embedded system, Actuator, business, Protocol (object-oriented programming)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::133b383617e5f964aeadb15da2af466a
https://doi.org/10.1007/978-3-030-84629-9_10