Realizing Concurrency on Top of the Microkernel seL4 via Improved Threads
D. Delgado Steuter, Realizing Concurrency on Top of the Microkernel SeL4 via Improved Threads , 2024.
Download
No fulltext has been uploaded.
Bachelorsthesis
| English
Author
Delgado Steuter, Dominik
Supervisor
Department
Publishing Year
LibreCat-ID
Cite this
Delgado Steuter D. Realizing Concurrency on Top of the Microkernel SeL4 via Improved Threads .; 2024.
Delgado Steuter, D. (2024). Realizing Concurrency on Top of the Microkernel seL4 via Improved Threads .
@book{Delgado Steuter_2024, title={Realizing Concurrency on Top of the Microkernel seL4 via Improved Threads }, author={Delgado Steuter, Dominik}, year={2024} }
Delgado Steuter, Dominik. Realizing Concurrency on Top of the Microkernel SeL4 via Improved Threads , 2024.
D. Delgado Steuter, Realizing Concurrency on Top of the Microkernel seL4 via Improved Threads . 2024.
Delgado Steuter, Dominik. Realizing Concurrency on Top of the Microkernel SeL4 via Improved Threads . 2024.
Google Scholar