Sorted by Supervisor name. If you want to sort it differently, click on the heading of the field you want to sort by.
Click on the topic title to get more details about that topic.
5 records found.
|No||3584||Protected-Mode eChronos||Gernot Heiser||R & D|
|No||3586||Sloth vs eChronos||Gernot Heiser||Research|
|No||3754||Evaluate and improve the memory-management model of seL4||Gernot Heiser||R & D|
|No||3755||Evaluate and improve seL4's worst-case performance||Gernot Heiser||R & D|
|No||3756||Assessment of impact of kernel design on security failures||Gernot Heiser||Research|