Exokernel
Results: 14
| # | Item |
|---|---|
11 | Verified secure kernels and hypervisors for the Cloud Matthieu Lemerre Nikolai KosmatovAdd to Reading ListSource URL: kosmatov.perso.sfr.frLanguage: English |
12![Proceedings of the 16th Symposium on Operating Systems Principles (SOSP), October, [removed]Application Performance and Flexibility on Exokernel Systems M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, H´ector M. B](https://www.pdfsearch.io/img/c075a134e2962a8a0058629b036192a2.jpg "Proceedings of the 16th Symposium on Operating Systems Principles (SOSP), October, [removed]Application Performance and Flexibility on Exokernel Systems M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, H´ector M. B") | Proceedings of the 16th Symposium on Operating Systems Principles (SOSP), October, [removed]Application Performance and Flexibility on Exokernel Systems M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, H´ector M. BAdd to Reading ListSource URL: www.ece.cmu.eduLanguage: English - Date: 2002-05-08 17:37:16 |
13 | Bachelor’s Thesis Nr. 95b Systems Group, Department of Computer Science, ETH Zurich Dedicating NIC hardware queues to applications on the Barrelfish OS byAdd to Reading ListSource URL: www.barrelfish.orgLanguage: English - Date: 2013-11-27 05:09:13 |
14 | The nonkernel: A Kernel Designed for the Cloud Muli Ben-Yehuda1 Omer Peleg1 Orna Agmon Ben-Yehuda1Add to Reading ListSource URL: www.mulix.orgLanguage: English - Date: 2014-04-29 02:56:05 |